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

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

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

• Title not available (Why is that?)
• Institutions: abstract model theory for specification and programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Foundations of algebraic specification and formal software development.
• Hybrid logic and its proof-theory
• Title not available (Why is that?)
• 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

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)