scientific article; zbMATH DE number 785050

zbMATH Open0872.08003MaRDI QIDQ4842539FDOQ4842539

Authors: Robin Milner 

Publication date: 26 September 1995

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

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

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)

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
• Title not available (Why is that?)
• Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
• Linear forwarders
• Title not available (Why is that?)
• Variations on mobile processes
• Title not available (Why is that?)
• 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)