Behavioural Equivalence for Infinite Systems - Partially Decidable!

Authors:
Kim Sunesen;Mogens Nielsen
Affiliations:
-;-
Venue:
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Year:
1996

Citing 0
Cited 3

Decomposition and complexity of hereditary history preserving bisimulation on BPP

CONCUR 2005 - Concurrency Theory
Non-interleaving bisimulation equivalences on Basic Parallel Processes

Information and Computation
Composition and decomposition in true-concurrency

FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures

Quantified Score

Hi-index	0.00

Visualization

Abstract