Uniform confluence in concurrent computation

DOI10.1017/S0956796800003762zbMath0974.68061OpenAlexW2171783042MaRDI QIDQ4762954

Joachim Niehren

Publication date: 22 February 2001

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796800003762

zbMATH Keywords

\(\lambda\)-calculus\(\pi\)-calculusconcurrent constraint programming

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (3)

A concurrent lambda calculus with futures ⋮ On proving confluence modulo equivalence for Constraint Handling Rules ⋮ The Attributed Pi-Calculus with Priorities

This page was built for publication: Uniform confluence in concurrent computation