Nominal SOS

DOI10.1016/J.ENTCS.2012.08.008MaRDI QIDQ3178277zbMATH OpenOpenAlexWikidataFDO

Authors Matteo Cimini, M. Mousavi, Michel A. Reniers, Murdoch J. Gabbay

Publication date 8 July 2016

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.2012.08.008

zbMATH Keywords

\(\pi\)-calculus\(\lambda\)-calculusstructural operational semantics (SOS)nominal calculinominal SOS

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Rule formats for nominal process calculi
• Rule formats for nominal process calculi
• scientific article; zbMATH DE number 2242589
• Nominal logic, a first order theory of names and binding
• Structural operational semantics with first-order logic

Cites work

• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• scientific article; zbMATH DE number 6148924 (Why is no real title available?)
• A calculus of mobile processes. I
• A calculus of mobile processes. II
• A congruence format for name-passing calculi
• A congruence rule format for name-passing process calculi
• A proof theory for generic judgments
• A structural approach to operational semantics
• A theory of bisimulation for the -calculus
• A theory of higher order communicating systems
• Bisimulation for higher-order process calculi
• Mapping modular SOS to rewriting logic
• Nominal SOS
• Nominal logic, a first order theory of names and binding
• Nominal rewriting
• Nominal unification
• Prototyping SOS meta-theory in Maude
• Psi-calculi: a framework for mobile processes with nominal data and logic
• Reasoning in Abella about structural operational semantics specifications
• SOS formats and meta-theory: 20 years after
• Structural operational semantics.
• The -calculus: A theory of mobile processes
• \(\pi\)-calculus, internal mobility, and agent-passing calculi

Cited in

(10)

• The way we were: structural operational semantics research in perspective
• Nominal SOS
• Modal logics for nominal transition systems
• A parametric framework for reversible \(\pi\)-calculi
• Leaving the nest: nominal techniques for variables with interleaving scopes
• Rule formats for nominal process calculi
• Hard life with weak binders
• Rule formats for nominal process calculi
• A unified rule format for bounded nondeterminism in SOS with terms as labels
• The Meaning of Ordered SOS

Describes a project that uses

Uses Software

• Abella
• LETOS

This page was built for publication: Nominal SOS

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