Special issue: Process algebra

DOI10.1016/S0020-0190(01)00211-3zbMATH Open0990.00058MaRDI QIDQ1607490FDOQ1607490

Authors:

Publication date: 1 August 2002

Published in: Information Processing Letters (Search for Journal in Brave)

Recommendations

• Process Algebra
• Communicating Sequential Processes. The First 25 Years
• Process Algebra: An Algebraic Theory of Concurrency
• Publication:4941495
• Handbook of process algebra
• Applications of Process Algebra
• Special issue: Algebraic process calculi: The first twenty five year and beyond III.
• Resources in process algebra
• scientific article; zbMATH DE number 937812
• scientific article; zbMATH DE number 139606

zbMATH Keywords

Process algebraSpecial issue

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (2)

• Special issue: Algebraic process calculi: the first twenty five years and beyond. Selected papers based on the presentations at the workshop, Bertinoro, Italy, August 1--5, 2005
• Special issue: Algebraic process calculi: The first twenty five year and beyond III.

This page was built for publication: Special issue: Process algebra

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