Structuring operational semantics: simplification and computation

DOI10.1016/J.ENTCS.2007.02.016MaRDI QIDQ2864160zbMATH OpenOpenAlexFDO

Authors 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

confluent rewritingmultiset rewritingoperational semantics

Mathematics Subject Classification ID

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

Recommendations

• A structural approach to operational semantics
• Membrane Computing
• scientific article; zbMATH DE number 92601
• A rewriting logic approach to operational semantics
• A rewriting logic approach to operational semantics (extended abstract)

Cites work

• A monadic multi-stage metalanguage
• A structural approach to operational semantics
• A syntactic approach to type soundness
• An abstract monadic semantics for value recursion
• An asynchronous, distributed implementation of mobile ambients
• FreshML: programming with binders made simple
• Functional and Logic Programming
• Generative communication in Linda
• scientific article; zbMATH DE number 3730111 (Why is no real title available?)
• scientific article; zbMATH DE number 517039 (Why is no real title available?)
• scientific article; zbMATH DE number 194911 (Why is no real title available?)
• Mobile ambients
• Notions of computation and monads
• Programming Languages and Systems
• The chemical abstract machine
• The join calculus: A language for distributed mobile programming
• The Kell calculus: A family of higher-order distributed process calculi
• The Kell calculus: operational semantics and type system.
• The Klaim project: Theory and practice

Cited in

(7)

• A structural operational semantics for an Edison-like language
• A structural operational semantics for an Edison like language. II
• scientific article; zbMATH DE number 1837651 (Why is no real title available?)
• Orthogonal extensions in structural operational semantics (extended abstract)
• Structural operational semantics for a portable subset of behavioral VHDL-93
• Structural operational semantics for weak bisimulations
• Simulation of operational semantics of machine instructions

Describes a project that uses

Uses Software

• KLAIM
• Linda
• FreshML

This page was built for publication: Structuring operational semantics: simplification and computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2864160)