Hybrid specification of reactive systems: an institutional approach
From MaRDI portal
Publication:3095244
DOI10.1007/978-3-642-24690-6_19zbMATH Open1350.68190OpenAlexW2121077344MaRDI QIDQ3095244FDOQ3095244
Authors: José M. Faria, Manuel A. Martins, Alexandre Madeira, L. S. Barbosa 
Publication date: 28 October 2011
Published in: Software Engineering and Formal Methods (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/1822/15370
Recommendations
Cites Work
- HTab: a terminating tableaux system for hybrid logic
- Institution-independent model theory
- Institutions: abstract model theory for specification and programming
- Abstract State Machines
- Refinement by Interpretation in a General Setting
- Title not available (Why is that?)
- Representation, reasoning, and relational structures: a hybrid logic manifesto
- Logical foundations of CafeOBJ
- Title not available (Why is that?)
- Model checking hybrid logics (with an application to semistructured data)
- Foundations of heterogeneous specification.
- Model checking for hybrid logic
- Hybridization of institutions
- Hybrid specification of reactive systems: an institutional approach
- Towards a hybrid dynamic logic for hybrid dynamic systems
- Title not available (Why is that?)
Cited In (7)
- Recent Trends in Algebraic Development Techniques
- Hybrid specification of reactive systems: an institutional approach
- Hierarchical hybrid logic
- Hybridization of institutions
- Hybrid dynamic logic institutions for event/data-based systems
- Refinement in hybridised institutions
- A Hilbert-style axiomatisation for equational hybrid logic
Uses Software
This page was built for publication: Hybrid specification of reactive systems: an institutional approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3095244)
