Observational logic, constructor-based logic, and their duality.

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

zbMATH Keywords

DualityObservabilityReachabilityAlgebraic specificationInstitution

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

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

• CASL

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