BRICS Notes Series, Abstracts, 2004

September 16, 2004

This document is also available as PostScript and DVI.

Bibliography

NS-04-2
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.
Abstract: This volume contains the preliminary proceedings of GETCO 2004 held as a satellite workshop of DISC 2004.

NS-04-1
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.
Abstract: This volume contains the preliminary proceedings of SOS '04 held in London, United Kingdom, August 30, 2004. The final proceedings will appear as a volume in the ENTCS series.
 

Last modified: 2004-09-16 by webmaster.