Pages that link to "Item:Q2581011"
From MaRDI portal
The following pages link to Type-based information flow analysis for the \(\pi\)-calculus (Q2581011):
Displaying 16 items.
- Effect-polymorphic behaviour inference for deadlock checking (Q338624) (← links)
- Deciding safety properties in infinite-state pi-calculus via behavioural types (Q418155) (← links)
- Deadlock checking by a behavioral effect system for lock handling (Q444480) (← links)
- Typing access control and secure information flow in sessions (Q462485) (← links)
- Deadlock analysis of unbounded process networks (Q729810) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- Responsiveness in process calculi (Q959822) (← links)
- Spatial and behavioral types in the pi-calculus (Q1959478) (← links)
- Types for complexity of parallel computation in pi-calculus (Q2233448) (← links)
- Ensuring termination by typability (Q2500473) (← links)
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go (Q3179284) (← links)
- A type system for Discretionary Access Control (Q3395314) (← links)
- Taming Message-Passing Communication in Compositional Reasoning About Confidentiality (Q5055995) (← links)
- (Q5129942) (← links)
- Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks (Q6635516) (← links)
