scientific article; zbMATH DE number 785050

MaRDI QIDQ4842539zbMATH OpenFDO

Authors Robin Milner

Publication date 26 September 1995

zbMATH Keywords

\(\pi\)-calculusabstractorsaction structurealgebraic process calculibisimulation congruenceeffectenriched strict monoidal categoryincidentsinteraction among processesmodels of concurrencyPetri netsprocess structurereachabilityreaction relationvariety of algebras

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• scientific article; zbMATH DE number 522837
• scientific article; zbMATH DE number 1333606
• Calculi for interaction
• A calculus of mobile processes. I
• scientific article; zbMATH DE number 1372683

Cited in

(13)

• A calculus for cryptographic protocols: The spi calculus
• Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
• Calculi for interaction
• Variations on mobile processes
• Linear forwarders
• scientific article; zbMATH DE number 1333606 (Why is no real title available?)
• scientific article; zbMATH DE number 522837 (Why is no real title available?)
• scientific article; zbMATH DE number 1759603 (Why is no real title available?)
• scientific article; zbMATH DE number 1372683 (Why is no real title available?)
• Action functor formalism
• Structural inclusion in the pi-calculus with replication
• Elementary control structures
• Interpreting a finitary pi-calculus in differential interaction nets

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