scientific article; zbMATH DE number 1555188

MaRDI QIDQ4525288zbMATH OpenFDO

Authors Robin Milner

Publication date 22 January 2001

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1088052
• scientific article; zbMATH DE number 1088033
• Higher-order psi-calculi
• Calculi for interaction
• scientific article; zbMATH DE number 1231609

Cited in

(13)

• Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
• Calculi for interaction
• The \(C_\pi\)-calculus: a model for confidential name passing
• A categorical framework for typing CCS-style process communication
• scientific article; zbMATH DE number 1231458 (Why is no real title available?)
• scientific article; zbMATH DE number 1231609 (Why is no real title available?)
• scientific article; zbMATH DE number 1333606 (Why is no real title available?)
• scientific article; zbMATH DE number 1088033 (Why is no real title available?)
• scientific article; zbMATH DE number 1088052 (Why is no real title available?)
• Categorical logic of names and abstraction in action calculi
• scientific article; zbMATH DE number 1372683 (Why is no real title available?)
• scientific article; zbMATH DE number 1930740 (Why is no real title available?)
• Shallow linear action graphs and their embeddings

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