Pages that link to "Item:Q2841263"
From MaRDI portal
The following pages link to Typed behavioural equivalences for processes in the presence of subtyping (Q2841263):
Displaying 8 items.
- A fully abstract may testing semantics for concurrent objects (Q557787) (← links)
- Towards an algebraic theory of typed mobile processes (Q817843) (← links)
- Semantic subtyping for the pi-calculus (Q930882) (← links)
- The security pi-calculus and non-interference (Q1772311) (← links)
- Towards a behavioural theory of access and mobility control in distributed systems (Q1881259) (← links)
- Typed behavioural equivalences for processes in the presence of subtyping (Q2841263) (← links)
- Equivalence of Processes in Partially Commutative Object-Oriented Environments (Q3084991) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900827) (← links)