Analysis of equivalence relations of event structures with continuous time

DOI10.1007/BF02759318zbMath0968.68111OpenAlexW1969042906MaRDI QIDQ1592080

I. B. Virbitskaite, E. N. Bozhenkova

Publication date: 15 January 2001

Published in: Programming and Computer Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02759318

zbMATH Keywords

testingbisimulation equivalencies

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model-checking in dense real-time
• Concurrency and atomicity
• Testing equivalences for processes
• Algebraic laws for nondeterminism and concurrency
• Efficient scaling-invariant checking of timed bisimulation
• Causal testing

This page was built for publication: Analysis of equivalence relations of event structures with continuous time