Algebraic-coalgebraic specification in CoCASL
From MaRDI portal
Publication:2369034
DOI10.1016/j.jlap.2005.09.006zbMath1088.68115OpenAlexW2129099885MaRDI QIDQ2369034
Till Mossakowski, Lutz Schröder, Horst Reichel, Markus Roggenbach
Publication date: 28 April 2006
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2005.09.006
Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30) Combinatory logic and lambda calculus (03B40)
Related Items (5)
A finite model construction for coalgebraic modal logic ⋮ A coalgebraic approach to the semantics of the ambient calculus ⋮ Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra ⋮ Behavioral Rewrite Systems and Behavioral Productivity ⋮ Expressivity of coalgebraic modal logic: the limits and beyond
Uses Software
Cites Work
- Expressive logics for coalgebras via terminal sequence induction
- On the greatest fixed point of a set functor
- Institution morphisms
- Results on the propositional \(\mu\)-calculus
- On the existence of free models in abstract algebraic institutions
- Coalgebraic logic
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
- Universal coalgebra: A theory of systems
- Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
- Relating CASL with other specification languages: the institution level.
- CASL reference manual. The complete documentation of the common algebraic specification language.
- Terminal coalgebras in well-founded set theory
- Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
- Greatest Bisimulations for Binary Methods
- On coalgebra of real numbers
- Institutions: abstract model theory for specification and programming
- Parametrized data types do not need highly constrained parameters
- An approach to object semantics based on terminal co-algebras
- Recent Trends in Algebraic Development Techniques
- Recent Trends in Algebraic Development Techniques
- Specifying coalgebras with modal logic
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Algebraic-coalgebraic specification in CoCASL
