BRICS Notes Series, 2004

September 16, 2004

This document is also available as PostScript and DVI.

Bibliography

NS-04-2
Abstract, PDF.
Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Maurice Herlihy, Martin Raußen, and Vladimiro Sassone, editors.
Preliminary Proceedings of the Workshop on Geometry and Topology in Concurrency and Distributed Computing, GETCO '04, (Amsterdam, The Netherlands, October 4, 2004), September 2004.
vi+80.

NS-04-1
Abstract, PDF.
Luca Aceto, Willem Jan Fokkink, and Irek Ulidowski, editors.
Preliminary Proceedings of the Workshop on Structural Operational Semantics, SOS '04, (London, United Kingdom, August 30, 2004), August 2004.
vi+56.
 

Last modified: 2004-09-16 by webmaster.