scientific article; zbMATH DE number 1231635

MaRDI QIDQ4222959zbMATH OpenFDO

Authors Bart Jacobs

Publication date 6 January 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=11#11013

zbMATH Keywords

coalgebrasLOOP

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• The coalgebraic class specification language CCSL
• Specifying coalgebras with modal logic
• scientific article; zbMATH DE number 1231627
• A coalgebraic semantics of subtyping

Cited in

(12)

• Universal coalgebra: A theory of systems
• Coalgebras and monads in the semantics of Java
• The coalgebraic class specification language CCSL
• Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model
• Coalgebraic semantics and observational equivalences of an imperative class-based OO-language
• Coalgebraic description of generalized binary methods
• scientific article; zbMATH DE number 1189281 (Why is no real title available?)
• Coalgebras as types determined by their elimination rules
• Coalgebraic description of generalised binary methods
• Specifying coalgebras with modal logic
• Formalization of Refinement Calculus for Reactive Systems
• Algebra of Monotonic Boolean Transformers

Describes a project that uses

Uses Software

• PVS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222959)