scientific article
From MaRDI portal
Publication:4018066
zbMath0762.68044MaRDI QIDQ4018066
Ugo Montanari, Vladimiro Sassone
Publication date: 16 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
concurrent systemscalculus of communicating systemsDynamic Observational congruenceProgressing bisimulation
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)
Related Items
Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity, Coalgebraic Symbolic Semantics, Reactive systems, (semi-)saturated semantics and coalgebras on presheaves, SPEC: An Equivalence Checker for Security Protocols, A theory of bisimulation for the \(\pi\)-calculus, A presheaf environment for the explicit fusion calculus, Observational and behavioural equivalences for soft concurrent constraint programming, A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences, When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus, A Category of Explicit Fusions, An algebra of behavioural types, On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi, A semantic framework for open processes, Universal axioms for bisimulations, Making the Unobservable, Unobservable, A coordination approach to mobile components, A coalgebraic presentation of structured transition systems, Observational congruences for dynamically reconfigurable tile systems, From rewrite rules to bisimulation congruences, Processes against tests: on defining contextual equivalences, Divergence and unique solution of equations, Decoding choice encodings, Extensionality of Spatial Observations in Distributed Systems, Compositional SOS and beyond: A coalgebraic view of open systems