scientific article
From MaRDI portal
Publication:2709810
zbMath0970.68104MaRDI QIDQ2709810
Bart Jacobs, Jan Rothe, Hendrik Tews
Publication date: 13 August 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (14)
Algebraic-coalgebraic specification in CoCASL ⋮ A finite model construction for coalgebraic modal logic ⋮ A Single Complete Relational Rule for Coalgebraic Refinement ⋮ 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 ⋮ CCSL ⋮ 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
Uses Software
This page was built for publication:
