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

DOI10.1016/j.jlamp.2022.100791OpenAlexW4285097301WikidataQ114159201 ScholiaQ114159201MaRDI QIDQ2168786

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)

Cites Work

• Foundations of algebraic specification and formal software development.
• A logic for the stepwise development of reactive systems
• Hybrid dynamic logic institutions for event/data-based systems
• Refinement in hybridised institutions
• Hybridization of Institutions
• Dynamic Logic with Binders and Its Application to the Development of Reactive Systems
• Institutions: abstract model theory for specification and programming
• An Institution for Event-B
• Encoding hybridized institutions into first-order logic
• Hybrid logic and its proof-theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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