4 search results - page 1 / 1 » Hereditary History Preserving Bisimilarity Is Undecidable |
STACS
2000
Springer
13 years 9 months ago
2000
Springer
CONCUR
2005
Springer
13 years 11 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
2010
Springer
13 years 6 months ago
2010
Springer
We propose a logic for true concurrency whose formulae predicate about events in computations and their causal dependencies. The induced logical equivalence is hereditary history p...
FOSSACS
2005
Springer
13 years 11 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...