Pages that link to "Item:Q1959478"
From MaRDI portal
The following pages link to Spatial and behavioral types in the pi-calculus (Q1959478):
Displaying 7 items.
- An algebra of behavioural types (Q418153) (← links)
- Deciding safety properties in infinite-state pi-calculus via behavioural types (Q418155) (← links)
- Spatial-behavioral types for concurrency and resource control in distributed systems (Q935465) (← links)
- A generic type system for the pi-calculus (Q1884932) (← links)
- A calculus for modeling floating authorizations (Q2329444) (← links)
- Spatial-Behavioral Types, Distributed Services, and Resources (Q3608455) (← links)
- A Calculus for Modeling Floating Authorizations (Q5881536) (← links)