Formalizing adaptation on-the-fly

MaRDI QIDQ2989000zbMATH OpenFDO

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

Publication date 19 May 2017

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066109004435?np=y

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• Dynamic consistency in process algebra: from paradigm to ACP
• Dynamic consistency in process algebra: from paradigm to ACP
• Adaptable processes
• scientific article; zbMATH DE number 1728497
• On the semantics of software adaptation

Cited in

(3)

• Formal modeling of evolving self-adaptive systems
• Dynamic consistency in process algebra: from paradigm to ACP
• Dynamic consistency in process algebra: from paradigm to ACP

This page was built for publication: Formalizing adaptation on-the-fly

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