Symbolic Semantics Revisited

DOI10.1007/978-3-540-78499-9_28MaRDI QIDQ5458375zbMATH OpenOpenAlexFDO

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

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)

Recommendations

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

Cited in

(13)

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

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)