scientific article; zbMATH DE number 2087345
From MaRDI portal
Publication:4738115
zbMath1065.68035MaRDI QIDQ4738115
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2297/22970237.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (12)
Applications of Algebra and Coalgebra in Scientific Modelling ⋮ Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis ⋮ Observational ultraproducts of polynomial coalgebras. ⋮ A calculus for generic, QoS-aware component composition ⋮ A Single Complete Relational Rule for Coalgebraic Refinement ⋮ When is a function a fold or an unfold? ⋮ Simulations in coalgebra ⋮ Automata and fixed point logic: a coalgebraic perspective ⋮ A modal proof theory for final polynomial coalgebras ⋮ Probabilistic mediator: a coalgebraic perspective ⋮ Inductive and Coinductive Components of Corecursive Functions in Coq ⋮ Pre-Galois Connection on Coalgebras for Generic Component Refinement
This page was built for publication:
