Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
Three partition refinement algorithms
SIAM Journal on Computing
CCS expressions finite state processes, and three problems of equivalence
Information and Computation
SIAM Journal on Computing
Deciding history preserving bisimilarity
Proceedings of the 18th international colloquium on Automata, languages and programming
The linear time-branching time spectrum (extended abstract)
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
On the solvability of domino snake problems
Theoretical Computer Science
Undecidable equivalences for basic process algebra
Information and Computation
On the computational complexity of bisimulation
ACM Computing Surveys (CSUR)
Handbook of logic in computer science (vol. 4)
Theoretical Computer Science - Special volume on Petri nets
Bisimulation equivalence is decidable for all context-free processes
Information and Computation
Deciding true concurrency equivalences on safe, finite nets
ICALP Selected papers of the twentieth international colloquium on Automata, languages and programming
A polynomial algorithm for deciding bisimilarity of normed context-free processes
Theoretical Computer Science
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Games and logics for a noninterleaving bisimulation
Nordic Journal of Computing
Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract)
MFCS '89 Proceedings on Mathematical Foundations of Computer Science 1989
On the Ehrenfeucht-Fraïssé Game in Theoretical Computer Science
TAPSOFT '93 Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Controllers for Discrete Event Systems via Morphisms
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
Higher Dimensional Transition Systems
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Computation: finite and infinite machines
Computation: finite and infinite machines
The decidability border of hereditary history preserving bisimilarity
Information Processing Letters
Decomposition and complexity of hereditary history preserving bisimulation on BPP
CONCUR 2005 - Concurrency Theory
Causality versus true-concurrency
Theoretical Computer Science
Non-interleaving bisimulation equivalences on Basic Parallel Processes
Information and Computation
The decidability border of hereditary history preserving bisimilarity
Information Processing Letters
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
History preserving bisimilarity (hp-bisimilarity) and hereditary history preserving bisimilarity (hhp-bisimilarity) are behavioural equivalences taking into account causal relationships between events of concurrent systems. Their prominent feature is that they are preserved under action refinement, an operation important for the top-down design of concurrent systems. It is shown that, in contrast to hp-bisimilarity, checking hhp-bisimilarity for finite labelled asynchronous transition systems is undecidable, by a reduction from the halting problem of 2-counter machines. To make the proof more transparent a novel intermediate problem of checking domino bisimilarity for origin constrained tiling systems is introduced and shown undecidable. It is also shown that the unlabelled domino bisimilarity problem is undecidable, which implies undecidability of hhp-bisimilarity for unlabelled finite asynchronous systems. Moreover, it is argued that the undecidability of hhp-bisimilarity holds for finite elementary net systems and 1-safe Petri nets.