Experimenting with process equivalence

DOI10.1016/0304-3975(92)90050-PzbMath0761.68037OpenAlexW2160858306MaRDI QIDQ1194327

Bard Bloom, Albert R. Meyer

Publication date: 27 September 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(92)90050-p

zbMATH Keywords

concurrent processesready simulation

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (5)

When is partial trace equivalence adequate? ⋮ Logical characterisations, rule formats and compositionality for input-output conformance simulation ⋮ Trade-offs in true concurrency: Pomsets and mazurkiewicz traces ⋮ Branching vs. Linear Time: Semantical Perspective ⋮ Domain theory, testing and simulation for labelled Markov processes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Refusal testing
• Observation equivalence as a testing equivalence
• Algèbre de processus et synchronisation
• Calculi for synchrony and asynchrony
• Higher-level synchronising devices in Meije-SCCS
• A calculus of communicating systems
• Testing equivalences for processes
• Process algebra for synchronous communication
• Communicating sequential processes
• Quantales, observational logic and process semantics

This page was built for publication: Experimenting with process equivalence