@string{brics = "{BRICS}"} @string{daimi = "Department of Computer Science, University of Aarhus"} @string{iesd = "Department of Computer Science, Institute of Electronic Systems, Aalborg University"} @string{rs = "Research Series"} @string{ns = "Notes Series"} @string{ls = "Lecture Series"} @string{ds = "Dissertation Series"} @proceedings{BRICS-NS-04-2, title = "Preliminary Proceedings of the Workshop on Geometry and Topology in Concurrency and Distributed Computing, {GETCO~'04}, {\em(Amsterdam, The Netherlands, October 4, 2004)}", year = 2004, editor = "Cousot, Patrick and Fajstrup, Lisbeth and Goubault, Eric and Herlihy, Maurice and Rau{\ss}en, Martin and Sassone, Vladimiro", number = "NS-04-2", series = ns, address = iesd, month = sep, organization = brics, note = "vi+80", abstract = "This volume contains the {\it preliminary proceedings} of GETCO 2004 held as a satellite workshop of DISC 2004", linkhtmlabs = "", linkpdf = "" } @proceedings{BRICS-NS-04-1, title = "Preliminary Proceedings of the Workshop on Structural Operational Semantics, {SOS~'04}, {\em(London, United Kingdom, August 30, 2004)}", year = 2004, editor = "Aceto, Luca and Fokkink, Willem Jan and Ulidowski, Irek", number = "NS-04-1", series = ns, address = iesd, month = aug, organization = brics, note = "vi+56", abstract = "This volume contains the {\it 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", linkhtmlabs = "", linkpdf = "" }