scientific article; zbMATH DE number 522837

MaRDI QIDQ4284230zbMATH OpenFDO

Authors Robin Milner

Publication date 24 March 1994

zbMATH Keywords

equational axiomsmodels of concurrent computationstrict monoidal categoryaction structurefunctional abstractorssynchronous \(\pi\)-calculus

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theories (e.g., algebraic theories), structure, and semantics (18C10) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 785050
• Structural rewriting in the pi-calculus
• Concurrent and Located Synchronizations in π-Calculus
• scientific article; zbMATH DE number 1333606
• scientific article; zbMATH DE number 1372683

Cited in

(9)

• scientific article; zbMATH DE number 785050 (Why is no real title available?)
• Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators
• Calculi for interaction
• Determinacy in a synchronous \(\pi\)-calculus
• Proofs as processes
• A synchronous -calculus
• scientific article; zbMATH DE number 1543081 (Why is no real title available?)
• scientific article; zbMATH DE number 1372683 (Why is no real title available?)
• Concurrent and Located Synchronizations in π-Calculus

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