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

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

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

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

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)