scientific article; zbMATH DE number 92600

MaRDI QIDQ4018066zbMATH OpenFDO

Authors Ugo Montanari, Vladimiro Sassone

Publication date 16 January 1993

zbMATH Keywords

calculus of communicating systemsconcurrent systemsDynamic Observational congruenceProgressing bisimulation

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 176155
• Branching time and abstraction in bisimulation semantics
• Distributed bisimulations
• scientific article; zbMATH DE number 1759615
• A behavioral congruence for concurrent constraint programming with nondeterministic choice

Cited in

(30)

• A note on the characterization of weak bisimulation congruence in CCS
• Compositional SOS and beyond: A coalgebraic view of open systems
• A coordination approach to mobile components
• Observational congruences for dynamically reconfigurable tile systems
• Congruent weak bisimulation with dense real-time
• Decoding choice encodings
• A theory of bisimulation for the -calculus
• Processes against tests: on defining contextual equivalences
• Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity
• A presheaf environment for the explicit fusion calculus
• Observational and behavioural equivalences for soft concurrent constraint programming
• A semantic framework for open processes
• Extensionality of spatial observations in distributed systems
• Bisimilarity in concurrent constraint programming
• Coalgebraic symbolic semantics
• SPEC: an equivalence checker for security protocols
• A Category of Explicit Fusions
• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
• scientific article; zbMATH DE number 176155 (Why is no real title available?)
• An algebra of behavioural types
• On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi
• A characterisation of open bisimilarity using an intuitionistic modal logic
• Making the unobservable, unobservable
• scientific article; zbMATH DE number 5263437 (Why is no real title available?)
• A coalgebraic presentation of structured transition systems
• From rewrite rules to bisimulation congruences
• When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus
• Processes, systems \& tests: defining contextual equivalences
• Universal axioms for bisimulations
• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves

This page was built for publication:

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