Specification of systems with parameterised events: An institution-independent approach
From MaRDI portal
Publication:2168786
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
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
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)
