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

DOI10.1007/11601548MaRDI QIDQ5898166zbMATHOpenAlexFDO

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)

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

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)