Dynamic consistency in process algebra: from paradigm to ACP

DOI10.1016/J.SCICO.2010.04.011MaRDI QIDQ541685zbMATHOpenAlexWikidataFDO

Authors L. P. J. Groenewegen, Erik de Vink, S. Andova

Publication date 7 June 2011

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2010.04.011

zbMATH Keywords

verificationprocess algebracollaborationdynamic consistencybranching bisimulationdynamic constraintparadigm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of software (68N99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Dynamic consistency in process algebra: from paradigm to ACP
• Towards a proof method for Paradigm
• scientific article; zbMATH DE number 2087402
• Formalizing adaptation on-the-fly
• A process algebraic view of shared dataspace coordination

Cites work

• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 1142329 (Why is no real title available?)
• scientific article; zbMATH DE number 2087402 (Why is no real title available?)
• scientific article; zbMATH DE number 1412988 (Why is no real title available?)
• Algebraic process verification.
• Analysis of distributed systems with mCRL2
• Branching time and abstraction in bisimulation semantics
• Formalizing adaptation on-the-fly
• Handbook of process algebra
• Integrating a formal method into a software engineering process with UML and Java
• Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra.
• Reo: a channel-based coordination model for component composition
• Specification and Development of Interactive Systems
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• Three logics for branching bisimulation

Cited in

(5)

• Towards a proof method for Paradigm
• scientific article; zbMATH DE number 3974310 (Why is no real title available?)
• Dynamic consistency in process algebra: from paradigm to ACP
• scientific article; zbMATH DE number 1884420 (Why is no real title available?)
• Formalizing adaptation on-the-fly

Describes a project that uses

Uses Software

• mCRL2
• Reo

This page was built for publication: Dynamic consistency in process algebra: from paradigm to ACP

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