scientific article; zbMATH DE number 522837

zbMATH Open0794.68055MaRDI QIDQ4284230FDOQ4284230

Authors: Robin Milner 

Publication date: 24 March 1994

Title of this publication is not available (Why is that?)

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

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)

Cited In (9)

• 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 \(\pi\)-calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Concurrent and Located Synchronizations in π-Calculus
• Title not available (Why is that?)

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)