Refinement in hybridised institutions

DOI10.1007/S00165-014-0327-6MaRDI QIDQ2355385zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

refinementbisimulationhybridisation

Mathematics Subject Classification ID

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)

Recommendations

• Completeness and decidability results for hybrid(ised) logics
• Hybridization of institutions
• scientific article; zbMATH DE number 6979315
• Hybrid specification of reactive systems: an institutional approach
• scientific article; zbMATH DE number 1617300

Cites work

• scientific article; zbMATH DE number 431933 (Why is no real title available?)
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 3639689 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• A treatise on many-valued logics
• Abstract State Machines
• An institution of modal logics for coalgebras
• Conditionals, Information, and Inference
• Constructor-based observational logic
• Encoding hybridized institutions into first-order logic
• Foundations of algebraic specification and formal software development.
• Handbook of modal logic
• HasCasl: integrated higher-order specification and program development
• Hybrid specification of reactive systems: an institutional approach
• Hybridisation at work
• Hybridization of institutions
• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• Interpolation for extended modal languages
• Modal Hybrid Logic
• Modal logic
• On quasi-varieties of multiple valued logic models
• Origins of bisimulation and coinduction
• 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.

Cited in

(9)

• Foundations of logic programming in hybrid logics with user-defined sharing
• Hybridization of institutions
• On the verification of architectural reconfigurations
• Hierarchical hybrid logic
• Birkhoff style calculi for hybrid logics
• Compositional meaning in logic
• Hybrid specification of reactive systems: an institutional approach
• Completeness and decidability results for hybrid(ised) logics
• Specification of systems with parameterised events: An institution-independent approach

Describes a project that uses

Uses Software

• HasCasl
• Hets

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)