Refinement of Structured Interactive Systems

DOI10.1007/978-3-319-10882-7_9zbMath1432.68027OpenAlexW152142467MaRDI QIDQ2938157

Kaisa Sere, Gheorghe Ştefănescu, Denisa Diaconescu, Luigia Petre

Publication date: 13 January 2015

Published in: Theoretical Aspects of Computing – ICTAC 2014 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-10882-7_9

zbMATH Keywords

interactive systemstrace semanticscoordination programming languagesintegration of data flow and control flowscenario-based refinementstuttering equivalence

Mathematics Subject Classification ID

Distributed systems (68M14) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Rodin
• Agapia

This page was built for publication: Refinement of Structured Interactive Systems