Processes, Terms and Cycles: Steps on the Road to Infinity

DOI10.1007/11601548MaRDI QIDQ5898166zbMATH OpenOpenAlexFDO

Authors J. A. Bergstra, C. A. Middelburg

Publication date 13 November 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of model theory (03C98)

Recommendations

• scientific article; zbMATH DE number 1555178
• scientific article; zbMATH DE number 1735902
• Theory by process
• scientific article; zbMATH DE number 4064457
• scientific article; zbMATH DE number 3963182

Cited in

(7)

• Modular specification of process algebras
• Preferential choice and coordination conditions
• Parallel processes with implicit computational capital
• Splitting bisimulations and retrospective conditions
• scientific article; zbMATH DE number 4143960 (Why is no real title available?)
• Formal modeling of evolving self-adaptive systems
• Process algebra for modal transition systemses

This page was built for publication: Processes, Terms and Cycles: Steps on the Road to Infinity

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