CCSL
From MaRDI portal
Software:15889
swMATH3357MaRDI QIDQ15889FDOQ15889
Author name not available (Why is that?)
Cited In (23)
- From algebras and coalgebras to dialgebras
- A finite model construction for coalgebraic modal logic
- Coalgebras for binary methods: Properties of bisimulations and invariants
- Global semantic typing for inductive and coinductive computing
- On the algebraic structure of declarative programming languages
- Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction of Dana Scott.
- Imperative object-based calculi in co-inductive type theories
- The coinductive approach to verifying cryptographic protocols.
- Modal operators for coequations
- Algebraic-coalgebraic specification in CoCASL
- Greatest bisimulations for binary methods
- Expressivity of coalgebraic modal logic: the limits and beyond
- Towards weak bisimulation for coalgebras
- A syntactical approach to weak (bi-)simulation for coalgebras
- Many-sorted coalgebraic modal logic: A model-theoretic study
- Foundations of Software Science and Computational Structures
- A single complete relational rule for coalgebraic refinement
- Title not available (Why is that?)
- Behavioral abstraction is hiding information
- Coalgebraic semantic model for the clock constraint specification language
- The temporal logic of coalgebras via Galois algebras
- Title not available (Why is that?)
- Genomic control of agent morphogenesis in a physically correct virtual environment
This page was built for software: CCSL
