CMCS `99. Proceedings of the 2nd workshop on Coalgebraic methods in computer science. A satellite event to the European joint conferences on Theory and practice of software, ETAPS `99. Amsterdam, the Netherlands, March 20--21, 1999

zbMath0916.00017MaRDI QIDQ1294117

No author found.

Publication date: 29 June 1999

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

zbMATH Keywords

ProceedingsWorkshopComputer scienceAmsterdam (Netherlands)Coalgebraic methodsCMCS `99ETAPS `99

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items

Generalised Coinduction, Rule Formats for Timed Processes, Bisimulation Relations for Dynamical and Control Systems