Pages that link to "Item:Q3557848"
From MaRDI portal
The following pages link to On the Relationship between Spatial Logics and Behavioral Simulations (Q3557848):
Displayed 4 items.
- Deciding safety properties in infinite-state pi-calculus via behavioural types (Q418155) (← links)
- A spatial equational logic for the applied \(\pi \)-calculus (Q992517) (← links)
- Team bisimilarity, and its associated modal logic, for BPP nets (Q2231652) (← links)
- Verification of finite-state machines: a distributed approach (Q2413026) (← links)