Proceedings of the 7th workshop on coalgebraic methods in computer science (CMCS), Barcelona, Spain, March 27--29, 2004

MaRDI QIDQ360557zbMATH OpenFDO

Authors

Publication date 27 August 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL http://www.sciencedirect.com/science/journal/15710661/106

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Abstract data types; algebraic specification (68Q65)

Cited in

(3)

• Preface to Special Issue: Coalgebraic methods in computer science
• Proceedings of the tenth workshop on coalgebraic methods in computer science (CMCS 2010)
• A categorical model of the fusion calculus

This page was built for publication: Proceedings of the 7th workshop on coalgebraic methods in computer science (CMCS), Barcelona, Spain, March 27--29, 2004

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