Algebraic calculi of processes and net expressions

DOI10.1016/0304-3975(85)90176-8zbMath0606.68023OpenAlexW2044936725MaRDI QIDQ1084852

Georges Gonthier

Publication date: 1985

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00076189/file/RR-0367.pdf

zbMATH Keywords

communication networkparallel systemalgebra of net expressionsflow algebraMeije algebra of processes

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cites Work

• Unnamed Item
• On Meije and SCCS: Infinite sum operators vs. non-guarded definitions
• Algèbre de processus et synchronisation
• Calculi for synchrony and asynchrony
• A calculus of communicating systems
• Flowgraphs and Flow Algebras

This page was built for publication: Algebraic calculi of processes and net expressions