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 4 items.
- A fully abstract may testing semantics for concurrent objects (Q557787) (← 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)
