Coalgebraic Symbolic Semantics

DOI10.1007/978-3-642-03741-2_13zbMath1239.68049OpenAlexW1580818477MaRDI QIDQ2888486

Ugo Montanari, Filippo Bonchi

Publication date: 1 June 2012

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03741-2_13

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

A presheaf environment for the explicit fusion calculus ⋮ Bialgebras for structural operational semantics: an introduction

Uses Software

• CC-Pi

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Symbolic bisimulations
• A coalgebraic approach to the semantics of the ambient calculus
• CCS expressions, finite state processes, and three problems of equivalence
• A calculus of mobile processes. I
• On bisimulations for the asynchronous \(\pi\)-calculus
• Mobile ambients
• Universal coalgebra: A theory of systems
• A partition refinement algorithm for the \(\pi\)-calculus
• A theory of bisimulation for the \(\pi\)-calculus
• Explicit fusions
• Coalgebraic Models for Reactive Systems
• Minimization Algorithm for Symbolic Bisimilarity
• Reactive Systems, Barbed Semantics, and the Mobile Ambients
• Symbolic Semantics Revisited
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
• Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
• A coalgebraic presentation of structured transition systems

This page was built for publication: Coalgebraic Symbolic Semantics