Publication:4499199
From MaRDI portal
zbMath0958.68101MaRDI QIDQ4499199
Publication date: 5 March 2001
decidabilityhistory-preserving bisimilaritybasic parallel processeshereditary history-preserving bisimilarity
Related Items
The decidability border of hereditary history preserving bisimilarity, Undecidability of domino games and hhp-bisimilarity., Team bisimilarity, and its associated modal logic, for BPP nets, Decidability of performance equivalence for basic parallel processes, A study on team bisimulation and H-team bisimulation for BPP nets