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

bisimulationhybridisationrefinement

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Specification and verification (program logics, model checking, etc.) (68Q60) 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

• 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
• 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?)
• 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. Procee

Cited in

(11)

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

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)