scientific article; zbMATH DE number 2112325

MaRDI QIDQ4823809zbMATH OpenFDO

Authors Xiaocong Zhou, Zhongmei Shu

Publication date 28 October 2004

zbMATH Keywords

final coalgebrabisimulationcoalgebraic logiccoinduction

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2172972
• Universal coalgebras and their logics
• scientific article; zbMATH DE number 2186713
• scientific article; zbMATH DE number 1753205
• State-based systems and \((F_1,F_2)\)-coalgebras

Cited in

(4)

• Preface
• Preface
• An introduction to (co)algebra and (co)induction
• A coalgebraic description of web interactions.

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 Q4823809)