Notions of bisimulation and congruence formats for SOS with data
DOI10.1016/J.IC.2005.03.002zbMATH Open1082.68075DBLPjournals/iandc/MousaviRG05OpenAlexW2044965190WikidataQ57745774 ScholiaQ57745774MaRDI QIDQ2486401FDOQ2486401
Authors: Yanyan Li 
Publication date: 5 August 2005
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2005.03.002
Recommendations
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Higher-level synchronising devices in Meije-SCCS
- Structured operational semantics and bisimulation as a congruence
- Universal coalgebra: A theory of systems
- Hybrid process algebra
- Process algebra for hybrid systems
- A structural approach to operational semantics
- Structural operational semantics.
- Title not available (Why is that?)
- Bisimulation can't be traced
- A calculus of communicating systems
- \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules
- The meaning of negative premises in transition system specifications. II
- The origins of structural operational semantics
- Process algebra with timing
- Bisimilarity of open terms.
- Transition system specifications with negative premises
- Turning SOS rules into equations
- Title not available (Why is that?)
- Redesign of a systems engineering language: formalisation of \(\chi\)
- Process algebra with guards: Combining hoare logic with process algebra
- Title not available (Why is that?)
- Axiomatizing GSOS with termination
- Title not available (Why is that?)
- Plain CHOCS. A second generation calculus for higher order processes
- Variable binding operators in transition system specifications
- Title not available (Why is that?)
- A behavioural theory of first-order CML
- Topological Aspects of Hybrid Processes
Cited In (19)
- Modelling and analysing neural networks using a hybrid process algebra
- Dynamic structural operational semantics
- HYPE: hybrid modelling by composition of flows
- Structural operational semantics through context-dependent behaviour
- Foundations of Software Science and Computational Structures
- Modular bisimulation theory for computations and values
- SOS formats and meta-theory: 20 years after
- Repairing time-determinism in the process algebra for hybrid systems
- DyNetKAT: an algebra of dynamic networks
- Revisiting sequential composition in process calculi
- Thread algebra for strategic interleaving
- Title not available (Why is that?)
- Synchronous cooperation for explicit multi-threading
- Syntax and consistent equation semantics of hybrid Chi
- A ground-complete axiomatization of stateless bisimilarity over Linda
- Views on behaviour protocols and their semantic foundation
- Linearization of hybrid processes
- Relating hybrid chi to other formalisms
- A Rule Format for Associativity
This page was built for publication: Notions of bisimulation and congruence formats for SOS with data
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2486401)
