Pages that link to "Item:Q1960533"
From MaRDI portal
The following pages link to The name discipline of uniform receptiveness (Q1960533):
Displaying 22 items.
- Deciding safety properties in infinite-state pi-calculus via behavioural types (Q418155) (← links)
- Strong normalisation in the \(\pi\)-calculus (Q598201) (← links)
- Responsiveness in process calculi (Q959822) (← links)
- An exact correspondence between a typed pi-calculus and polarised proof-nets (Q974114) (← links)
- Linearity and bisimulation (Q997996) (← links)
- On transformations of concurrent-object programs (Q1276245) (← links)
- On modelling mobility (Q1575151) (← links)
- Asynchronous process calculi: The first- and higher-order paradigms (Q1589656) (← links)
- What is a ``good'' encoding of guarded choice? (Q1854329) (← links)
- Spatial and behavioral types in the pi-calculus (Q1959478) (← links)
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- Types and full abstraction for polyadic \(\pi\)-calculus (Q2387197) (← links)
- Name-passing in an ambient-like calculus and its proof using spatial logic (Q2491641) (← links)
- A type system for lock-free processes (Q2497143) (← links)
- Mobile objects as mobile processes (Q2497145) (← links)
- Linearity, persistence and testing semantics in the asynchronous pi-calculus (Q2864372) (← links)
- Typed ψ-calculi (Q3090835) (← links)
- Mobile Processes and Termination (Q3184750) (← links)
- On confluence in the π-calculus (Q4571963) (← links)
- (Q5089301) (← links)
- Bisimulations in the join-calculus (Q5958770) (← links)
- Processes, systems \& tests: defining contextual equivalences (Q6649539) (← links)