scientific article; zbMATH DE number 2112325

zbMATH Open1106.68373MaRDI QIDQ4823809FDOQ4823809

Authors: Xiaocong Zhou, Zhongmei Shu 

Publication date: 28 October 2004

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

final coalgebrabisimulationcoalgebraic logiccoinduction

Mathematics Subject Classification ID

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

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)