Hybrid dynamic logic institutions for event/data-based systems

DOI10.1007/s00165-021-00550-7OpenAlexW3187540623MaRDI QIDQ2065557

Alexandre Madeira, Rolf Hennicker, Alexander Knapp

Publication date: 11 January 2022

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1902.03074

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (1)

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

Uses Software

• Hets
• Rodin

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interface theories for concurrency and data
• Foundations of algebraic specification and formal software development.
• Institution morphisms
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Adding a temporal dimension to a logic system
• A logic for the stepwise development of reactive systems
• What is a logic translation?
• Ultraproducts and possible worlds semantics in institutions
• Institution-independent model theory
• Hybridization of Institutions
• Institutions: abstract model theory for specification and programming
• A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow
• An Institution for Event-B
• Encoding hybridized institutions into first-order logic
• Hybrid logic and its proof-theory

This page was built for publication: Hybrid dynamic logic institutions for event/data-based systems