2 search results - page 1 / 1 » Decomposition and Complexity of Hereditary History Preservin... |
CONCUR
2005
Springer
13 years 10 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...
FOSSACS
2005
Springer
13 years 10 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...