Pages that link to "Item:Q2841263"

The following pages link to Typed behavioural equivalences for processes in the presence of subtyping (Q2841263):

Displaying 2 items.

• A fully abstract may testing semantics for concurrent objects (Q557787) (← links)
• The security pi-calculus and non-interference (Q1772311) (← links)