The following pages link to An algebra of behavioural types (Q418153):
Displaying 7 items.
- An algebra of behavioural types (Q418153) (← links)
- Towards an algebraic theory of typed mobile processes (Q817843) (← links)
- A type checking algorithm for concurrent object protocols (Q1785846) (← links)
- A complete algebraic characterization of behavioral subtyping (Q1977078) (← links)
- Behavioural typing for objects and process calculi (Q2906949) (← links)
- Sub-behaviour relations for session-based client/server systems (Q5740659) (← links)
- Formal Methods for Components and Objects (Q5897123) (← links)