Specification of systems with parameterised events: An institution-independent approach

DOI10.1016/J.JLAMP.2022.100791OpenAlexW4285097301WikidataQ114159201 ScholiaQ114159201MaRDI QIDQ2168786FDOQ2168786

Authors Rolf Hennicker, Alexander Knapp 

Publication date 26 August 2022

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2022.100791

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Hybrid dynamic logic institutions for event/data-based systems
• An institution for Event-B
• A hybrid dynamic logic for event/data-based systems
• Building Specifications in the Event-B Institution
• Formal Techniques for Networked and Distributed Systems – FORTE 2004

Cites work

• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• A logic for the stepwise development of reactive systems
• An institution for Event-B
• Dynamic Reconfiguration via Typed Modalities
• Dynamic logic with binders and its application to the development of reactive systems
• Encoding hybridized institutions into first-order logic
• Foundations of algebraic specification and formal software development.
• Hybrid dynamic logic institutions for event/data-based systems
• Hybrid logic and its proof-theory
• Hybridization of institutions
• Institutions: abstract model theory for specification and programming
• Modeling and analysis of communicating systems
• Modeling in Event B. System and software engineering.
• Refinement in hybridised institutions

Cited in

(2)

• Building Specifications in the Event-B Institution
• A hybrid dynamic logic for event/data-based systems

This page was built for publication: Specification of systems with parameterised events: An institution-independent approach

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