The following pages link to CONCUR 2005 – Concurrency Theory (Q5897488):
Displayed 5 items.
- Non-interleaving bisimulation equivalences on basic parallel processes (Q1049404) (← links)
- 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)
- Characterising spectra of equivalences for event structures, logically (Q2672268) (← links)
- Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems (Q3449627) (← links)