Testing equivalence as a bisimulation equivalence
Copyright policy )Testing equivalence as a bisimulation equivalence
Abstract In this paper we show how the testing equivalences and preorders on transition systems may be interpreted as instances of generalized bisimulation equivalences and prebisimulation preorders. The characterization relies on defining transformations on the transition systems in such a way that the testing relations on the original systems correspond to (pre)bisimulation relations on the altered systems. On the basis of these results, it is possible to use algorithms for determining the (pre)bisimulation relations in the case of finite-state transition systems to compute the testing relations.
- University of Sussex United Kingdom
- North Carolina Agricultural and Technical State University United States
- North Carolina State University United States
process algebras, Specification and verification (program logics, model checking, etc.), Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), Semantics in the theory of computing, automated verification, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), finite-state systems
process algebras, Specification and verification (program logics, model checking, etc.), Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), Semantics in the theory of computing, automated verification, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), finite-state systems
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).99 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Top 10% influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Top 1% impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Top 10%
Citations provided by BIP!Popularity provided by BIP!