scientific article; zbMATH DE number 177812

MaRDI QIDQ4038690zbMATH OpenFDO

Authors Robin Milner

Publication date 18 May 1993

zbMATH Keywords

concurrencyoperational model of concurrent processesoperational model of pure functional programmingstate

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Functions as processes
• From a concurrent λ-calculus to the π-calculus
• An investigation into functions as processes
• Eager functions as processes
• Eager functions as processes

Cited in

(44)

• Conditional rewriting logic as a unified model of concurrency
• The chemical abstract machine
• A calculus of mobile processes. I
• Reaction graph
• Process calculus based upon evaluation to committed form
• An internal language for autonomous categories
• Label-selective -calculus syntax and confluence
• On the representation of McCarthy's amb in the -calculus
• Asynchronous communication model based on linear logic
• Mixed sessions
• Eager functions as processes
• Observational program calculi and the correctness of translations
• Functions as session-typed processes
• The -calculus in the -calculus
• A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types
• Trees from functions as processes
• Evaluating functions as processes
• -calculus semantics for combinator calculi
• A Process-Model for Linear Programs
• Functions as processes
• scientific article; zbMATH DE number 1735902 (Why is no real title available?)
• Trees from functions as processes
• Lambda and pi calculi, CAM and SECD machines
• From λ to π; or, Rediscovering continuations
• A calculus of quality for robustness against unreliable communication
• Mixed sessions
• From a concurrent λ-calculus to the π-calculus
• Causality and true concurrency: A data-flow analysis of the Pi-Calculus
• scientific article; zbMATH DE number 7288621 (Why is no real title available?)
• Fully abstract encodings of \(\lambda \)-calculus in HOcore through abstract machines
• Eager functions as processes
• Barbed bisimulation
• The island model as a Markov dynamic system
• Encoding ℂDuce in the ℂπ-Calculus
• An investigation into functions as processes
• Process calculus based upon evaluation to committed form
• Constraints as processes
• Replications in reversible concurrent calculi
• Psi-calculi revisited: connectivity and compositionality
• Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks
• Computational interpretations of linear logic
• Functional array programming in an extended pi-calculus
• A functional presentation of pi calculus
• Towards a theory of (self) applicative communicating processes: A short note

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4038690)