An algebra for process creation

DOI10.1007/BF01178776MaRDI QIDQ1203719zbMATH OpenOpenAlexFDO

Authors Jos C. M. Baeten, F. 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) Semantics in the theory of computing (68Q55) Applications of universal algebra in computer science (08A70)

Recommendations

• Applications of Process Algebra
• The algebra of communicating processes with empty process
• An algebra of concurrent non-deterministic processes
• An algebra of processes
• scientific article; zbMATH DE number 1735902

Cites work

• scientific article; zbMATH DE number 4016181 (Why is no real title available?)
• scientific article; zbMATH DE number 3990852 (Why is no real title available?)
• scientific article; zbMATH DE number 4037177 (Why is no real title available?)
• scientific article; zbMATH DE number 4037225 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 1988986 (Why is no real title available?)
• A distributed operational semantics of CCS based on condition/event systems
• Algèbre de processus et synchronisation
• Designing equivalent semantic models for process creation
• Global renaming operators in concrete process algebra
• Higher-level synchronising devices in Meije-SCCS
• Module algebra
• Process algebra for synchronous communication

Cited in

(6)

• Proving the validity of equations in GSOS languages using rule-matching bisimilarity
• scientific article; zbMATH DE number 1487746 (Why is no real title available?)
• Process algebra with strategic interleaving
• A behavioural theory of first-order CML
• Non-finite axiomatisability results via reductions: CSP parallel composition and CCS restriction
• Designing equivalent semantic models for process creation

Describes a project that uses

Uses Software

• POOL
• Ada95

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1203719)