The coalgebraic class specification language CCSL
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1231635
- Algebraic-coalgebraic specification in CoCASL
- Coalgebraic semantics and observational equivalences of an imperative class-based OO-language
- Algebraic-coalgebraic specification in CoCasl.
- Coalgebraic operational semantics for an imperative language
- scientific article; zbMATH DE number 1314225
- Coalgebraic semantic model for the clock constraint specification language
- Coalgebraic logic programming: from Semantics to Implementation
Cited in
(18)- On the algebraic structure of declarative programming languages
- Presheaf models for CCS-like languages
- CCSL
- Algebraic-coalgebraic specification in CoCASL
- Expressivity of coalgebraic modal logic: the limits and beyond
- A finite model construction for coalgebraic modal logic
- Many-sorted coalgebraic modal logic: A model-theoretic study
- Coalgebras for binary methods: Properties of bisimulations and invariants
- Towards weak bisimulation for coalgebras
- A syntactical approach to weak (bi-)simulation for coalgebras
- Greatest bisimulations for binary methods
- \textsc{CoCasl} at work -- modelling process algebra
- A single complete relational rule for coalgebraic refinement
- Coalgebraic semantic model for the clock constraint specification language
- scientific article; zbMATH DE number 1231635 (Why is no real title available?)
- Modal operators for coequations
- From algebras and coalgebras to dialgebras
- Behavioral abstraction is hiding information
This page was built for publication: The coalgebraic class specification language CCSL
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2709810)
