Pages that link to "Item:Q5100755"
From MaRDI portal
The following pages link to A Study on Team Bisimulations for BPP Nets (Q5100755):
Displaying 6 items.
- On reachability equivalence for BPP-nets (Q1391745) (← links)
- Team equivalences for finite-state machines with silent moves (Q2216117) (← links)
- Team bisimilarity, and its associated modal logic, for BPP nets (Q2231652) (← links)
- Characterising spectra of equivalences for event structures, logically (Q2672268) (← links)
- Interleaving vs True Concurrency: Some Instructive Security Examples (Q5100754) (← links)
- Causal Semantics for BPP Nets with Silent Moves (Q5164874) (← links)