Algebraic-coalgebraic specification in CoCASL

DOI10.1016/J.JLAP.2005.09.006MaRDI QIDQ2369034zbMATH OpenOpenAlexFDO

Authors Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel

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

zbMATH Keywords

CSPCCSCoalgebraProcess algebraAlgebraic specificationCasl

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Categorical logic, topoi (03G30) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Algebraic-coalgebraic specification in CoCasl.
• scientific article; zbMATH DE number 1497880
• Algebraic semantics for coalgebraic logics
• scientific article; zbMATH DE number 2087424
• Formalizing implicative algebras in Coq
• Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems
• scientific article; zbMATH DE number 1231627
• Specifying coalgebras with modal logic
• Coalgebraic algebra
• Coalgebraic symbolic semantics

Cites work

• scientific article; zbMATH DE number 1617307 (Why is no real title available?)
• scientific article; zbMATH DE number 1629958 (Why is no real title available?)
• scientific article; zbMATH DE number 1688389 (Why is no real title available?)
• scientific article; zbMATH DE number 1696893 (Why is no real title available?)
• scientific article; zbMATH DE number 1701766 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1231631 (Why is no real title available?)
• scientific article; zbMATH DE number 1142329 (Why is no real title available?)
• scientific article; zbMATH DE number 1952947 (Why is no real title available?)
• scientific article; zbMATH DE number 1497872 (Why is no real title available?)
• scientific article; zbMATH DE number 1753205 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 2087420 (Why is no real title available?)
• scientific article; zbMATH DE number 2087424 (Why is no real title available?)
• scientific article; zbMATH DE number 2087434 (Why is no real title available?)
• scientific article; zbMATH DE number 5686641 (Why is no real title available?)
• Algebraic-coalgebraic specification in CoCasl.
• An approach to object semantics based on terminal co-algebras
• CASL reference manual. The complete documentation of the common algebraic specification language.
• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• Coalgebraic logic
• Expressive logics for coalgebras via terminal sequence induction
• Expressivity results in the modal logic of coalgebras
• Foundations of heterogeneous specification.
• Greatest bisimulations for binary methods
• Handbook of process algebra
• Institution morphisms
• Institutions: abstract model theory for specification and programming
• Many-sorted coalgebraic modal logic: A model-theoretic study
• On coalgebra of real numbers
• On the existence of free models in abstract algebraic institutions
• On the greatest fixed point of a set functor
• Parametrized data types do not need highly constrained parameters
• 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.
• Results on the propositional \(\mu\)-calculus
• Specifying coalgebras with modal logic
• Terminal coalgebras in well-founded set theory
• The coalgebraic class specification language CCSL
• Universal coalgebra: A theory of systems

Cited in

(16)

• Bootstrapping Inductive and Coinductive Types in HasCASL
• scientific article; zbMATH DE number 2087345 (Why is no real title available?)
• The coalgebraic class specification language CCSL
• \textsc{CoCasl} at work -- modelling process algebra
• A finite model construction for coalgebraic modal logic
• scientific article; zbMATH DE number 1686270 (Why is no real title available?)
• scientific article; zbMATH DE number 1497880 (Why is no real title available?)
• Coalgebraic Modal Logic in CoCasl
• Algebraic-coalgebraic specification in CoCasl.
• Behavioral rewrite systems and behavioral productivity
• scientific article; zbMATH DE number 1189281 (Why is no real title available?)
• A coalgebraic approach to the semantics of the ambient calculus
• Expressivity of coalgebraic modal logic: the limits and beyond
• scientific article; zbMATH DE number 2172806 (Why is no real title available?)
• Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
• Coalgebraic semantic model for the clock constraint specification language

Describes a project that uses

Uses Software

• CoCasl
• LOOP
• Hets
• Haskell
• CCSL
• CASL

This page was built for publication: Algebraic-coalgebraic specification in CoCASL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2369034)