Back to Results
First PageMeta Content
Theoretical 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 University
Add to Reading List

Document Date: 2017-10-04 12:33:27


Open Document

File Size: 774,69 KB

Share Result on Facebook