Pages that link to "Item:Q598201"
From MaRDI portal
The following pages link to Strong normalisation in the \(\pi\)-calculus (Q598201):
Displaying 28 items.
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- On the potential advantages of exploiting behavioural information for contract-based service discovery and composition (Q615893) (← links)
- Termination in higher-order concurrent calculi (Q710674) (← links)
- Responsiveness in process calculi (Q959822) (← links)
- Typed event structures and the linear \(\pi \)-calculus (Q964488) (← links)
- An exact correspondence between a typed pi-calculus and polarised proof-nets (Q974114) (← links)
- Interpreting a finitary pi-calculus in differential interaction nets (Q979075) (← links)
- Typing termination in a higher-order concurrent imperative language (Q979082) (← links)
- Linearity and bisimulation (Q997996) (← links)
- Eager functions as processes (Q2123050) (← links)
- On the relative expressiveness of higher-order session processes (Q2272988) (← links)
- Characteristic bisimulation for higher-order session processes (Q2357655) (← links)
- Formalising Java RMI with explicit code mobility (Q2463558) (← links)
- Behavioural equivalences for dynamic web data (Q2474049) (← links)
- A type system for lock-free processes (Q2497143) (← links)
- Ensuring termination by typability (Q2500473) (← links)
- Genericity and the \(\pi\)-calculus (Q2576663) (← links)
- On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) (← links)
- Corecursion and Non-divergence in Session-Typed Processes (Q2811932) (← links)
- Probabilistic π-Calculus and Event Structures (Q2870289) (← links)
- Termination in a π-calculus with subtyping (Q2971078) (← links)
- Full Abstraction in a Subtyped pi-Calculus with Linear Types (Q3090836) (← links)
- Static Livelock Analysis in CSP (Q3090843) (← links)
- A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types (Q3184667) (← links)
- Mobile Processes and Termination (Q3184750) (← links)
- Conflation Confers Concurrency (Q3188279) (← links)
- (Q5111623) (← links)
- Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness (Q5262979) (← links)
