The following pages link to CCSL (Q15889):
Displayed 23 items.
- Behavioral abstraction is hiding information (Q703529) (← links)
- Genomic control of agent morphogenesis in a physically correct virtual environment (Q946738) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- A finite model construction for coalgebraic modal logic (Q2643335) (← links)
- Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study (Q2747941) (← links)
- Coalgebras for Binary Methods: Properties of Bisimulations and Invariants (Q2747943) (← links)
- Towards Weak Bisimulation For Coalgebras (Q2841308) (← links)
- A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras (Q2842561) (← links)
- Greatest Bisimulations for Binary Methods (Q2842564) (← links)
- Global semantic typing for inductive and coinductive computing (Q2938771) (← links)
- A Single Complete Relational Rule for Coalgebraic Refinement (Q2994487) (← links)
- (Q3365295) (← links)
- (Q3408131) (← links)
- Coalgebraic Semantic Model for the Clock Constraint Specification Language (Q3460225) (← links)
- The temporal logic of coalgebras via Galois algebras (Q4405697) (← links)
- 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. (Q4408806) (← links)
- (Q4738229) (← links)
- Modal Operators for Coequations (Q4917039) (← links)
- From Algebras and Coalgebras to Dialgebras (Q4917045) (← links)
- Foundations of Software Science and Computational Structures (Q5705903) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900826) (← links)