Pages that link to "Item:Q5487879"
From MaRDI portal
The following pages link to Behavioral equivalence in the polymorphic pi-calculus (Q5487879):
Displayed 25 items.
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- Security types for dynamic web data (Q935467) (← links)
- An exact correspondence between a typed pi-calculus and polarised proof-nets (Q974114) (← links)
- The security pi-calculus and non-interference (Q1772311) (← links)
- Assigning types to processes (Q1854525) (← links)
- A generic type system for the pi-calculus (Q1884932) (← links)
- The name discipline of uniform receptiveness (Q1960533) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- Types and full abstraction for polyadic \(\pi\)-calculus (Q2387197) (← links)
- Behavioural equivalences for dynamic web data (Q2474049) (← links)
- Full abstraction for polymorphic \(\pi \)-calculus (Q2474052) (← links)
- A type system for lock-free processes (Q2497143) (← links)
- Genericity and the \(\pi\)-calculus (Q2576663) (← links)
- Subtyping for session types in the pi calculus (Q2576666) (← links)
- safeDpi: a language for controlling mobile code (Q2581010) (← links)
- On Hierarchical Communication Topologies in the $$\pi $$ -calculus (Q2802475) (← links)
- Typed behavioural equivalences for processes in the presence of subtyping (Q2841263) (← links)
- Propositions as sessions (Q2875234) (← links)
- Extending modal transition systems with structured labels (Q2909731) (← links)
- Bounded polymorphism in session types (Q3535678) (← links)
- A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References (Q3644766) (← links)
- The name discipline of uniform receptiveness (extended abstract) (Q4571962) (← links)
- On confluence in the π-calculus (Q4571963) (← links)
- Encoding Distributed Areas and Local Communication into the π-Calculus (Q4917086) (← links)
- Types for ambient and process mobility (Q5458067) (← links)