4 search results - page 1 / 1 » On Plain and Hereditary History-Preserving Bisimulation |
MFCS
1999
Springer
14 years 3 months ago
1999
Springer
CONCUR
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We propose a polynomial-time decision procedure for hereditary history preserving bisimilarity (hhp-b) on Basic Parallel Processes (BPP). Furthermore, we give a sound and...
CONCUR
2003
Springer
14 years 4 months ago
2003
Springer
We investigate which event structures can be denoted by means of closed CCS ∪ CSP expressions. Working up to isomorphism we find that • all denotable event structures are bund...
FOSSACS
2005
Springer
14 years 4 months ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...