scientific article; zbMATH DE number 785050

MaRDI QIDQ4842539zbMATH OpenFDO

Authors Robin Milner

Publication date 26 September 1995

zbMATH Keywords

reachability\(\pi\)-calculusPetri netsvariety of algebraseffectmodels of concurrencyalgebraic process calculibisimulation congruenceabstractorsprocess structureaction structureenriched strict monoidal categoryincidentsinteraction among processesreaction relation

Mathematics Subject Classification ID

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

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

(12)

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

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)