CCSL

swMATH3357MaRDI QIDQ15889

No author found.

Related Items (23)

Algebraic-coalgebraic specification in CoCASL ⋮ Coalgebraic Semantic Model for the Clock Constraint Specification Language ⋮ A finite model construction for coalgebraic modal logic ⋮ Foundations of Software Science and Computational Structures ⋮ Global semantic typing for inductive and coinductive computing ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A Single Complete Relational Rule for Coalgebraic Refinement ⋮ Unnamed Item ⋮ Genomic control of agent morphogenesis in a physically correct virtual environment ⋮ Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study ⋮ Coalgebras for Binary Methods: Properties of Bisimulations and Invariants ⋮ Expressivity of coalgebraic modal logic: the limits and beyond ⋮ Modal Operators for Coequations ⋮ From Algebras and Coalgebras to Dialgebras ⋮ Behavioral abstraction is hiding information ⋮ The temporal logic of coalgebras via Galois algebras ⋮ 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. ⋮ Recent Trends in Algebraic Development Techniques ⋮ On the algebraic structure of declarative programming languages ⋮ Towards Weak Bisimulation For Coalgebras ⋮ A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras ⋮ Greatest Bisimulations for Binary Methods

This page was built for software: CCSL