scientific article; zbMATH DE number 785050

From MaRDI portal

Publication:4842539

Jump to:navigation, search

zbMath0872.08003MaRDI QIDQ4842539

Arthur J. Milner

Publication date: 26 September 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

reachability Petri nets \(\pi\)-calculus variety of algebras effect models of concurrency algebraic process calculi bisimulation congruence abstractors process structure action structure enriched strict monoidal category incidents interaction among processes reaction relation

Mathematics Subject Classification ID

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

Related Items (4)

Linear forwarders ⋮ Variations on mobile processes ⋮ A calculus for cryptographic protocols: The spi calculus ⋮ Comparing logics for rewriting: Rewriting logic, action calculi and tile logic

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4842539&oldid=19180140"