Notions of bisimulation and congruence formats for SOS with data

DOI10.1016/J.IC.2005.03.002MaRDI QIDQ2486401zbMATHOpenAlexDBLPWikidataFDO

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

zbMATH Keywords

BisimulationFormal semanticsCongruenceSOS formatsStructural operational sematics

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

• Structured operational semantics and bisimulation as a congruence
• scientific article; zbMATH DE number 1759616
• Modular bisimulation theory for computations and values
• Structural operational semantics with first-order logic
• Rooted branching bisimulation as a congruence

Cites work

• scientific article; zbMATH DE number 1810494 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 1231687 (Why is no real title available?)
• scientific article; zbMATH DE number 1107487 (Why is no real title available?)
• scientific article; zbMATH DE number 794263 (Why is no real title available?)
• A behavioural theory of first-order CML
• A calculus of communicating systems
• A structural approach to operational semantics
• Axiomatizing GSOS with termination
• Bisimilarity of open terms.
• Bisimulation can't be traced
• Higher-level synchronising devices in Meije-SCCS
• Hybrid process algebra
• Plain CHOCS. A second generation calculus for higher order processes
• Process algebra for hybrid systems
• Process algebra with guards: Combining hoare logic with process algebra
• Process algebra with timing
• Redesign of a systems engineering language: formalisation of \(\chi\)
• Structural operational semantics.
• Structured operational semantics and bisimulation as a congruence
• The meaning of negative premises in transition system specifications. II
• The origins of structural operational semantics
• Topological aspects of hybrid processes: a proposed treatment using non-standard analysis
• Transition system specifications with negative premises
• Turning SOS rules into equations
• Universal coalgebra: A theory of systems
• Variable binding operators in transition system specifications
• \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules

Cited in

(20)

• Linearization of hybrid processes
• Relating hybrid chi to other formalisms
• DyNetKAT: an algebra of dynamic networks
• Modular bisimulation theory for computations and values
• Revisiting sequential composition in process calculi
• Dynamic structural operational semantics
• Algebraic meta-theory of processes with data
• Views on behaviour protocols and their semantic foundation
• SOS formats and meta-theory: 20 years after
• Synchronous cooperation for explicit multi-threading
• Repairing time-determinism in the process algebra for hybrid systems
• HYPE: hybrid modelling by composition of flows
• Thread algebra for strategic interleaving
• Structural operational semantics through context-dependent behaviour
• Syntax and consistent equation semantics of hybrid Chi
• A Rule Format for Associativity
• Modelling and analysing neural networks using a hybrid process algebra
• scientific article; zbMATH DE number 7453962 (Why is no real title available?)
• Foundations of Software Science and Computational Structures
• A ground-complete axiomatization of stateless bisimilarity over Linda

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)