The name discipline of uniform receptiveness
From MaRDI portal
Publication:1960533
DOI10.1016/S0304-3975(99)00040-7zbMath0930.68035MaRDI QIDQ1960533
Publication date: 12 January 2000
Published in: Theoretical Computer Science (Search for Journal in Brave)
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
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