Pages that link to "Item:Q3638083"
From MaRDI portal
The following pages link to Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types (Q3638083):
Displayed 5 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)
- Spatial and behavioral types in the pi-calculus (Q1959478) (← links)
- Petri Nets with Structured Data (Q2941152) (← links)
- The Decidability of the Reachability Problem for CCS! (Q3090842) (← links)