Testing equivalence for mobile processes

DOI10.1006/inco.1995.1114zbMath0835.68073OpenAlexW1988856107MaRDI QIDQ1898467

Michele Boreale, Rocco De Nicola

Publication date: 17 September 1995

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1995.1114

zbMATH Keywords

process algebrasdistributed concurrent systems

Mathematics Subject Classification ID

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

Related Items

Tau laws for pi calculus, Contracts for Mobile Processes, Basic observables for a calculus for global computing, Models for name-passing processes: Interleaving and causal, Reasoning about cryptographic protocols in the spi calculus, On implementations and semantics of a concurrent programming language, Theory of interaction, Complete inference systems for weak bisimulation equivalences in the \(\pi\)-calculus., Characterisations of testing preorders for a finite probabilistic \(\pi\)-calculus, Separation of synchronous and asynchronous communication via testing, Unnamed Item, A randomized encoding of the \(\pi\)-calculus with mixed choice, A hierarchy of equivalences for asynchronous calculi, Quantifying information leakage in process calculi, A calculus for cryptographic protocols: The spi calculus, Linda-based applicative and imperative process algebras, Processes against tests: on defining contextual equivalences, Applying a testing approach to the Calculus of Fair Ambients, Analysis of security protocols as open systems, Understanding the mismatch combinator in chi calculus, Discrimination by parallel observers: the algorithm., Trace and testing equivalence on asynchronous processes, Fair Π, Testing congruence for mobile processes, A fully abstract denotational semantics for the \(\pi\)-calculus, Towards an algebraic theory of typed mobile processes