On institutions for modular coalgebraic specifications.

DOI10.1016/S0304-3975(01)00021-4zbMath1052.68089OpenAlexW2026523750MaRDI QIDQ1603816

Alexander Kurz, Rolf Hennicker

Publication date: 15 July 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(01)00021-4

zbMATH Keywords

SpecificationObservabilityCoalgebraModularityInstitutionObservational logic

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (4)

Observational logic, constructor-based logic, and their duality. ⋮ An institution of modal logics for coalgebras ⋮ Object oriented institutions to specify symbolic computation systems ⋮ Towards Behavioral Maude

Cites Work

• Behavioural theories and the proof of behavioural properties
• Specifications in an arbitrary institution
• Coalgebraic logic
• A hidden agenda
• Universal coalgebra: A theory of systems
• Behavioural and abstractor specifications
• Constructor-based observational logic
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• The temporal logic of coalgebras via Galois algebras
• An approach to object semantics based on terminal co-algebras
• Mongruences and cofree coalgebras
• Functors for coalgebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On institutions for modular coalgebraic specifications.