An algebra for process creation

DOI10.1007/BF01178776zbMath0760.68045OpenAlexW2031129600MaRDI QIDQ1203719

Jos C. M. Baeten, Frits W. Vaandrager

Publication date: 22 February 1993

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01178776

zbMATH Keywords

operational semanticsbasic process algebraprocess creation

Mathematics Subject Classification ID

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

Related Items (4)

Proving the validity of equations in GSOS languages using rule-matching bisimilarity ⋮ Non-finite axiomatisability results via reductions: CSP parallel composition and CCS restriction ⋮ Process algebra with strategic interleaving ⋮ A behavioural theory of first-order CML

Uses Software

• Ada95
• POOL

Cites Work

• Algèbre de processus et synchronisation
• Higher-level synchronising devices in Meije-SCCS
• Global renaming operators in concrete process algebra
• Designing equivalent semantic models for process creation
• A distributed operational semantics of CCS based on condition/event systems
• Module algebra
• Process algebra for synchronous communication
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An algebra for process creation