Proceedings of the workshop on geometry and topology in concurrency theory, GETCO '00, August 21 2000

Patrick Cousot (Editor), Eric Goubault (Editor), J. Gunawardena (Editor), M. Herlihy (Editor), M. Raussen (Editor), V. Sassone (Editor)

Research output: Book/ReportBook

Original languageEnglish (US)
PublisherState College, USA
StatePublished - 2000

Publication series

NameBRICS Notes Series NS-00-3

Cite this