scientific article; zbMATH DE number 1418351

zbMath0959.68087MaRDI QIDQ4941914

Sibylle Fröschle, Thomas Troels Hildebrandt

Publication date: 19 March 2000

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

zbMATH Keywords

history-preserving bisimulation

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (11)

History-preserving bisimilarity for higher-dimensional automata via open maps ⋮ The decidability border of hereditary history preserving bisimilarity ⋮ Causal Trees, Finally ⋮ A coalgebraic semantics for causality in Petri nets ⋮ Undecidability of domino games and hhp-bisimilarity. ⋮ Causality versus true-concurrency ⋮ Forward-Reverse Observational Equivalences in CCSK ⋮ On logical and concurrent equivalences ⋮ A Logic for True Concurrency ⋮ Logics and Bisimulation Games for Concurrency, Causality and Conflict ⋮ Non-interleaving bisimulation equivalences on basic parallel processes

This page was built for publication: