Observational logic, constructor-based logic, and their duality.
From MaRDI portal
Publication:1874280
DOI10.1016/S0304-3975(02)00865-4zbMath1038.68079OpenAlexW2090661963MaRDI QIDQ1874280
Rolf Hennicker, Michel Bidoit, Alexander Kurz
Publication date: 25 May 2003
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0304-3975(02)00865-4
Related Items
Constructor-Based Institutions, Constructor-based observational logic, Stability of termination and sufficient-completeness under pushouts via amalgamation, Behavioral Rewrite Systems and Behavioral Productivity, On Automation of OTS/CafeOBJ Method, Observational Refinement Process, Object oriented institutions to specify symbolic computation systems, On the complexity of stream equality
Uses Software
Cites Work
- On behavioural abstraction and behavioural satisfaction in higher-order logic
- On the existence of free models in abstract algebraic institutions
- On observational equivalence and algebraic specification
- Specifications in an arbitrary institution
- Model theory.
- Foundations of system theory: Decomposable systems
- Adjoint machines, state-behavior machines, and duality
- Algebraic methodology and software technology. 7th international conference, AMAST '98, Amazonia, Brazil, January 4--8, 1999. Proceedings
- Proof systems for structured specifications with observability operators
- Swinging types=functions+relations+transition systems
- A hidden agenda
- On institutions for modular coalgebraic specifications.
- CASL: the Common Algebraic Specification Language.
- Behavioural and abstractor specifications
- Constructor-based observational logic
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- Proof of correctness of data representations
- Institutions: abstract model theory for specification and programming
- 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
- Unnamed Item