Structuring Operational Semantics: Simplification and Computation

DOI10.1016/j.entcs.2007.02.016zbMath1277.68124OpenAlexW2017867861MaRDI 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 semanticsmultiset rewritingconfluent rewriting

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Uses Software

• Freshml
• KLAIM
• Linda

Cites Work

• Notions of computation and monads
• The chemical abstract machine
• A syntactic approach to type soundness
• Mobile ambients
• A structural approach to operational semantics
• An abstract monadic semantics for value recursion
• Generative communication in Linda
• FreshML
• Functional and Logic Programming
• Global Computing
• Global Computing. Programming Environments, Languages, Security, and Analysis of Systems
• Programming Languages and Systems
• Formal Methods for Open Object-Based Distributed Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Structuring Operational Semantics: Simplification and Computation