The following pages link to A Logic for True Concurrency (Q5501929):
Displaying 16 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)
- Truly concurrent logic via in-between specification (Q2848423) (← links)
- Local Model Checking in a Logic for True Concurrency (Q2988383) (← links)
- (Q3385652) (← links)
- Model Checking a Logic for True Concurrency (Q5034222) (← links)
- (Q5089270) (← links)
- Foundations of Software Science and Computational Structures (Q5705890) (← links)
- Logical Concurrency Control from Sequential Proofs (Q5900865) (← links)
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)
