On institutions for modular coalgebraic specifications.
type: Item
instance of: scholarly article
title: On institutions for modular coalgebraic specifications.
zbMATH Open document ID: 1052.68089
DOI: 10.1016/S0304-3975(01)00021-4
author: Alexander Kurz
author: Rolf Hennicker
published in: Theoretical Computer Science
publication date: 2002-07-15T00:00:00Z
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 1768003
zbMATH Keywords: Coalgebra
zbMATH Keywords: Specification
zbMATH Keywords: Observability
zbMATH Keywords: Modularity
zbMATH Keywords: Institution
zbMATH Keywords: Observational logic
MaRDI profile type: Publication
cites work: Q4537506
cites work: Behavioural theories and the proof of behavioural properties
cites work: Behavioural and abstractor specifications
cites work: Q4856547
cites work: Q3839053
cites work: Q3839054
cites work: Q4520814
cites work: A hidden agenda
cites work: Q4493908
cites work: Functors for coalgebras
cites work: Constructor-based observational logic
cites work: Mongruences and cofree coalgebras
cites work: The temporal logic of coalgebras via Galois algebras
cites work: Q4355684
cites work: Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
cites work: Q4329244
cites work: Q4533390
cites work: Q4222950
cites work: Q4499307
cites work: Q5639839
cites work: Q3950708
cites work: Coalgebraic logic
cites work: Q3773301
cites work: An approach to object semantics based on terminal co-algebras
cites work: Q4499303
cites work: Universal coalgebra: A theory of systems
cites work: Specifications in an arbitrary institution
cites work: Q4702594
full work available at URL: s0304-3975(01)00021-4
OpenAlex ID: W2026523750
description: scientific article; zbMATH DE number 1768003