DOI10.1016/j.entcs.2007.02.016zbMath1277.68124MaRDI QIDQ2864160
Eugenio Moggi
Publication date: 6 December 2013 Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.016
zbMATH Keywords
operational semantics; multiset rewriting; confluent rewriting
Mathematics Subject Classification ID
68Q55: Semantics in the theory of computing
68Q42: Grammars and rewriting systems
Uses Software