Observation equivalence as a testing equivalence
From MaRDI portal
Publication:580965
DOI10.1016/0304-3975(87)90065-XzbMath0626.68016WikidataQ57006959 ScholiaQ57006959MaRDI QIDQ580965
Publication date: 1987
Published in: Theoretical Computer Science (Search for Journal in Brave)
operational semantics; testing; powerdomains; denotational semantics; concurrency; transition systems with divergence
68N25: Theory of operating systems
Related Items
Quantales, observational logic and process semantics, A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems, Quantales, finite observations and strong bisimulation, A fully abstract denotational semantics for the calculus of higher-order communicating systems, Refusal testing, Structural operational semantics for weak bisimulations, Transition system specifications with negative premises, Bisimulation and divergence, Trace, failure and testing equivalences for communicating processes, Bisimulation through probabilistic testing, Specification styles in distributed systems design and verification, Observational structures and their logic, Experimenting with process equivalence, Structured operational semantics and bisimulation as a congruence, TIC: a tImed calculus, On the operational semantics of nondeterminism and divergence, A general conservative extension theorem in process algebras with inequalities, Finite axiom systems for testing preorder and De Simone process languages, Testing preorders for probabilistic processes can be characterized by simulations, Domain theory, testing and simulation for labelled Markov processes, Corrigendum: ``A domain equation for bisimulation by S. Abramsky, Ordered SOS process languages for branching and eager bisimulations, Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation, Bisimulation on speed: a unified approach, A domain equation for bisimulation, Branching vs. Linear Time: Semantical Perspective, Modelling Divergence in Relational Concurrent Refinement
Cites Work