Refinement in hybridised institutions
DOI10.1007/S00165-014-0327-6zbMATH Open1331.68149OpenAlexW2007666160WikidataQ130926383 ScholiaQ130926383MaRDI QIDQ2355385FDOQ2355385
Authors: Alexandre Madeira, Manuel A. Martins, Rolf Hennicker, L. S. Barbosa 
Publication date: 23 July 2015
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/1822/40546
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Categorical logic, topoi (03G30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- HasCasl: integrated higher-order specification and program development
- Modal logic
- Tools and algorithms for the construction and analysis of systems. 13th international conference, TACAS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 -- April 1, 2007. Proceedings.
- Institution-independent model theory
- A treatise on many-valued logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Institutions: abstract model theory for specification and programming
- Title not available (Why is that?)
- Abstract State Machines
- Handbook of modal logic
- Foundations of algebraic specification and formal software development.
- Title not available (Why is that?)
- Interpolation for extended modal languages
- Title not available (Why is that?)
- On quasi-varieties of multiple valued logic models
- Constructor-based observational logic
- Origins of bisimulation and coinduction
- An institution of modal logics for coalgebras
- Hybridization of institutions
- Modal Hybrid Logic
- Encoding hybridized institutions into first-order logic
- Conditionals, Information, and Inference
- Hybridisation at work
- Hybrid specification of reactive systems: an institutional approach
- Title not available (Why is that?)
Cited In (9)
- Completeness and decidability results for hybrid(ised) logics
- On the verification of architectural reconfigurations
- Hybrid specification of reactive systems: an institutional approach
- Hierarchical hybrid logic
- Specification of systems with parameterised events: An institution-independent approach
- Birkhoff style calculi for hybrid logics
- Compositional meaning in logic
- Hybridization of institutions
- Foundations of logic programming in hybrid logics with user-defined sharing
Uses Software
This page was built for publication: Refinement in hybridised institutions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2355385)
