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
From MaRDI portal
Publication:1294117
zbMath0916.00017MaRDI QIDQ1294117
No author found.
Publication date: 29 June 1999
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
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