Pages that link to "Item:Q5178880"

The following pages link to A generic type system for the Pi-calculus (Q5178880):

Displayed 16 items.

• Deadlock checking by a behavioral effect system for lock handling (Q444480) ‎ (← links)
• An algebraic theory for web service contracts (Q493534) ‎ (← links)
• Strong normalisation in the \(\pi\)-calculus (Q598201) ‎ (← links)
• A taxonomy of process calculi for distribution and mobility (Q660996) ‎ (← links)
• A pi-calculus based semantics for WS-BPEL (Q861305) ‎ (← links)
• Spatial-behavioral types for concurrency and resource control in distributed systems (Q935465) ‎ (← links)
• Typing correspondence assertions for communication protocols (Q1399972) ‎ (← links)
• Analysing input/output-capabilities of mobile processes with a generic type system (Q1772312) ‎ (← links)
• Abstract interpretation of mobile systems (Q1772313) ‎ (← links)
• Session types revisited (Q2407105) ‎ (← links)
• Communicating by compatibility (Q2426519) ‎ (← links)
• A type system for lock-free processes (Q2497143) ‎ (← links)
• A general framework for types in graph rewriting (Q2581012) ‎ (← links)
• Spatial-Behavioral Types, Distributed Services, and Resources (Q3608455) ‎ (← links)
• Typing Correspondence Assertions for Communication Protocols (Q4917053) ‎ (← links)
• Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines (Q5505419) ‎ (← links)