scientific article; zbMATH DE number 1497782

zbMath0958.68101MaRDI QIDQ4499199

Sibylle Fröschle

Publication date: 5 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

decidabilityhistory-preserving bisimilaritybasic parallel processeshereditary history-preserving bisimilarity

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

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

This page was built for publication: