The name discipline of uniform receptiveness

DOI10.1016/S0304-3975(99)00040-7zbMath0930.68035MaRDI QIDQ1960533

Davide Sangiorgi

Publication date: 12 January 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

types\(\pi\)-calculusuniform receptiveness

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Mobile Processes and Termination, Types and full abstraction for polyadic \(\pi\)-calculus, Strong normalisation in the \(\pi\)-calculus, On confluence in the π-calculus, Deciding safety properties in infinite-state pi-calculus via behavioural types, Spatial and behavioral types in the pi-calculus, Responsiveness in process calculi, An exact correspondence between a typed pi-calculus and polarised proof-nets, Name-passing in an ambient-like calculus and its proof using spatial logic, A type system for lock-free processes, Mobile objects as mobile processes, Unnamed Item, Bisimulations in the join-calculus, Linearity and bisimulation, Typed ψ-calculi, On transformations of concurrent-object programs, On modelling mobility, Processes against tests: on defining contextual equivalences, Asynchronous process calculi: The first- and higher-order paradigms, What is a ``good encoding of guarded choice?, Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus

Uses Software

• Pict

Cites Work

• Linear logic
• \(\pi\)-calculus, internal mobility, and agent-passing calculi
• A calculus of mobile processes. II
• An interpretation of typed objects into typed \(\pi\)-calculus
• Plain CHOCS. A second generation calculus for higher order processes
• Asynchronous process calculi: The first- and higher-order paradigms
• Objects in the \(\pi\)-calculus
• Functions as processes
• Constraining interference in an object-based design method
• Behavioral equivalence in the polymorphic pi-calculus
• Implementation of sub-structuring within an object-oriented framework
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item