Symbolic Semantics Revisited

DOI10.1007/978-3-540-78499-9_28zbMATH Open1139.68039OpenAlexW1576961733MaRDI QIDQ5458375FDOQ5458375

Authors: Filippo Bonchi, Ugo Montanari 

Publication date: 11 April 2008

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78499-9_28

Recommendations

• A symbolic semantics for the \(\pi\)-calculus
• Symbolic bisimulations
• A symbolic approach to value-passing processes
• Symbolic transition graph with assignment
• Global Computing

Mathematics Subject Classification ID

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

Cited In (11)

• A General Theory of Barbs, Contexts, and Labels
• Incomplete symbols -- definite descriptions revisited
• A presheaf environment for the explicit fusion calculus
• A Category of Explicit Fusions
• Coalgebraic Symbolic Semantics
• A semantic framework for open processes
• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
• Symbolic transition graph with assignment
• LINGUISTIC MODIFIERS IN A SYMBOLIC FRAMEWORK
• Global Computing
• Revisiting Semilattice Semantics

This page was built for publication: Symbolic Semantics Revisited

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