Pages that link to "Item:Q5100754"
From MaRDI portal
The following pages link to Interleaving vs True Concurrency: Some Instructive Security Examples (Q5100754):
Displaying 4 items.
- A study on team bisimulation and H-team bisimulation for BPP nets (Q2055961) (← links)
- Team bisimilarity, and its associated modal logic, for BPP nets (Q2231652) (← links)
- A Study on Team Bisimulations for BPP Nets (Q5100755) (← links)
- Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (Q6137873) (← links)