Pages that link to "Item:Q817843"

The following pages link to Towards an algebraic theory of typed mobile processes (Q817843):

Displaying 3 items.

• Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
• A behavioural theory for a \(\pi\)-calculus with preorders (Q890617) (← links)
• A Behavioural Theory for a π-calculus with Preorders (Q3455864) (← links)