Pages that link to "Item:Q3608455"
From MaRDI portal
The following pages link to Spatial-Behavioral Types, Distributed Services, and Resources (Q3608455):
Displaying 6 items.
- 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)
- Objects and session types (Q1021571) (← links)
- Spatial and behavioral types in the pi-calculus (Q1959478) (← links)
- Co-Algebraic Models for Quantitative Spatial Logics (Q2870283) (← links)
- The Conversation Calculus: A Model of Service-Oriented Computation (Q5458402) (← links)
