scientific article
From MaRDI portal
Publication:4038690
zbMath0766.68036MaRDI QIDQ4038690
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
stateconcurrencyoperational model of concurrent processesoperational model of pure functional programming
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Combinatory logic and lambda calculus (03B40)
Related Items
Mixed Sessions ⋮ Label-selective \(\lambda\)-calculus syntax and confluence ⋮ Asynchronous communication model based on linear logic ⋮ Functions as processes ⋮ Causality and true concurrency: A data-flow analysis of the Pi-Calculus ⋮ Replications in reversible concurrent calculi ⋮ Psi-calculi revisited: connectivity and compositionality ⋮ A calculus of quality for robustness against unreliable communication ⋮ The island model as a Markov dynamic system ⋮ Conditional rewriting logic as a unified model of concurrency ⋮ The chemical abstract machine ⋮ Process calculus based upon evaluation to committed form ⋮ Computational interpretations of linear logic ⋮ A calculus of mobile processes. I ⋮ On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus ⋮ Barbed bisimulation ⋮ Mixed sessions ⋮ A Process-Model for Linear Programs ⋮ Reaction graph ⋮ Process calculus based upon evaluation to committed form ⋮ Unnamed Item ⋮ Observational program calculi and the correctness of translations ⋮ An internal language for autonomous categories
