• CoCasl

  • Referenced in 26 articles [sw13076]
  • modelling process algebra. CoCasl, a recently developed coalgebraic extension of the algebraic specification language Casl ... within such an algebraic-coalgebraic framework. It turns out that CoCasl can deal with ... algebraic world of Casl, while the additional coalgebraic constructs of CoCasl cover the various process...
  • CoALP

  • Referenced in 20 articles [sw16105]
  • Coalgebraic logic programming: from semantics to implementation. Coinductive definitions, such as that of an infinite ... corecursive features at once. Observational and coalgebraic semantics have been used to study them abstractly ... starting with abstract category theoretic semantics, developing coalgebra to characterize naturally arising trees and proceeding...
  • CCSL

  • Referenced in 25 articles [sw03357]
  • specification language that combines both algebraic and coalgebraic elements. The CCSL compiler translates CCSL specifications...
  • BIGEBRA

  • Referenced in 21 articles [sw00078]
  • handle tensor products, Graßmann and Clifford algebras, coalgebras and Hopf algebras. Recent results showing...
  • Minlog

  • Referenced in 21 articles [sw09765]
  • tool for program extraction supporting algebras and coalgebras. Minlog is an interactive system which implements...
  • CoLoSS

  • Referenced in 14 articles [sw07016]
  • CoLoSS: The Coalgebraic Logic Satisfiability Solver CoLoSS, the Coalgebraic Logic Satisfiability Solver, decides satisfiability...
  • Cool

  • Referenced in 4 articles [sw11992]
  • Cool -- a generic reasoner for coalgebraic hybrid logics. We describe the coalgebraic ontology logic solver ... level of generality is that of coalgebraic logic, a logical framework covering a wide range...
  • BMaude

  • Referenced in 2 articles [sw10135]
  • membership equational logic. How can algebraic and coalgebraic specifications be integrated? How can behavioral equivalence ... theories have both an algebraic and a coalgebraic semantics, including final (co-)algebras. We also...
  • GenCCSL

  • Referenced in 1 article [sw15831]
  • Coalgebraic semantic model for the clock constraint specification language. The Clock Constraint Specification Language ... ccsl} based on the notion of “clock coalgebra”. Co-algebra promises to give a unified...
  • Codatatype

  • Referenced in 1 article [sw28678]
  • definitions of concatenation and iteration from the coalgebraic literature are not primitively corecursive-they require...
  • AXIOM

  • Referenced in 173 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • FEPG

  • Referenced in 5 articles [sw00276]
  • The finite element program generator (FEPG) is a...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • HasCasl

  • Referenced in 17 articles [sw00399]
  • HasCasl: integrated higher-order specification and program development...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LASS

  • Referenced in 30 articles [sw00505]
  • Local Analysis of Self-Similarity - The LASS tool...
  • PRISM

  • Referenced in 442 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • MoDeST

  • Referenced in 32 articles [sw01544]
  • MoDeST --- a modelling and description language for stochastic...