scientific article; zbMATH DE number 1995172

MaRDI QIDQ4431382zbMATH OpenFDO

Authors Jean-Jacques Lévy, B. Thomsen, Lone Leth, Alessandro Giacalone

Publication date 21 October 2003

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(4)

• A theory of bisimulation for the -calculus
• A confluent relational calculus for higher-order programming with constraints
• Topological models for higher order control flow
• From CML to its process algebra

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 Q4431382)