Global Computing

DOI10.1007/B103251MaRDI QIDQ5464831zbMATH OpenOpenAlexFDO

Authors Paolo Baldan, Andrea Bracciali, Roberto Bruni

Publication date 19 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b103251

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Symbolic Semantics Revisited
• A semantic framework for open processes
• Symbolic bisimulations
• Bisimulation by unification
• Model-checking process equivalences

Cited in

(3)

• A semantic framework for open processes
• On symbolic semantics for name-decorated contexts
• Symbolic Semantics Revisited

This page was built for publication: Global Computing

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