Date: 2017-10-04 12:33:27Theoretical computer science Logic in computer science Programming language semantics Operational semantics Semantics International Colloquium on Automata Languages and Programming Nominal Process calculi | | Rule Formats for Nominal Operational Semantics A very short and informal introduction Luca Aceto Gran Sasso Science Institute, L’Aquila, and ICE-TCS, School of Computer Science, Reykjavik UniversityAdd to Reading ListSource URL: tlt2017.di.unito.itDownload Document from Source Website File Size: 774,69 KBShare Document on Facebook
|