scientific article; zbMATH DE number 176758
From MaRDI portal
Publication:4036588
Recommendations
Cited in
(18)- Deciding true concurrency equivalences on safe, finite nets
- Undecidability of domino games and hhp-bisimilarity.
- Branching place bisimilarity: a decidable behavioral equivalence for finite Petri nets with silent moves
- scientific article; zbMATH DE number 1617304 (Why is no real title available?)
- Local model checking in a logic for true concurrency
- Causality, behavioural equivalences, and the security of cyberphysical systems
- New Bisimulation Semantics for Distributed Systems
- scientific article; zbMATH DE number 1059331 (Why is no real title available?)
- scientific article; zbMATH DE number 1497782 (Why is no real title available?)
- Deciding true concurrency equivalences on finite safe nets (preliminary report)
- scientific article; zbMATH DE number 1418351 (Why is no real title available?)
- Minimal transition systems for history-preserving bisimulation
- Timed processes of timed Petri nets
- Interleaving vs True Concurrency: Some Instructive Security Examples
- A logic for true concurrency
- Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
- Petri nets and bisimulation
- The decidability border of hereditary history preserving bisimilarity
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4036588)
