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

DOI10.1007/11601548zbMATH Open1171.68561OpenAlexW2234185834MaRDI QIDQ5898166FDOQ5898166

C. A. Middelburg, J. A. Bergstra

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

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

Mathematics Subject Classification ID

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

Cited In (7)

• Modular specification of process algebras
• Preferential choice and coordination conditions
• Parallel processes with implicit computational capital
• Splitting bisimulations and retrospective conditions
• Title not available (Why is that?)
• 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)