The following pages link to A Logic for True Concurrency (Q5501929):
Displayed 12 items.
- Contextual equivalences in configuration structures and reversibility (Q347363) (← links)
- A coalgebraic semantics for causality in Petri nets (Q890619) (← links)
- Conflict vs causality in event structures (Q1996864) (← links)
- A study on team bisimulation and H-team bisimulation for BPP nets (Q2055961) (← links)
- Behavioural logics for configuration structures (Q2123053) (← links)
- Team bisimilarity, and its associated modal logic, for BPP nets (Q2231652) (← links)
- Verification of finite-state machines: a distributed approach (Q2413026) (← links)
- Characterising spectra of equivalences for event structures, logically (Q2672268) (← links)
- Local Model Checking in a Logic for True Concurrency (Q2988383) (← links)
- (Q3385652) (← links)
- (Q5089270) (← links)
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)