@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-03-4, title = "PLAN-X 2004 Informal Proceedings, {\em (Venice, Italy, 13 January, 2004)}", year = 2003, editor = "Schwartzbach, Michael I.", number = "NS-03-4", series = ns, address = daimi, month = dec, organization = brics, note = "ii+95", abstract = "The workshop aims at providing a meeting ground for researchers from the XML, programming language, and database communities. XML is already a de-facto industry standard for data exchange, it has from an early stage been embraced by database researchers, and it is gaining increasing interest from programming language researchers.\bibpar At this workshop we hope to present recent results, identify new challenges, and inspire the programming language community to focus on XML.\bibpar The focus of the workshop is on methods, tools, and theories for processing XML. Example topics include (but are not limited to) XML parsing, XML type system and schemas, analysis and implementation of technologies such as XPath, XSLT, and XQuery, and integration of XML in both general-purpose and domain-specific programming languages.", linkhtmlabs = "", linkpdf = "" } @proceedings{BRICS-NS-03-3, title = "Slide Reprints from the Workshop on Process Algebra: Open Problems and Future Directions, {PA~'03}, {\em (Bologna, Italy, 21--25 July, 2003)}", year = 2003, editor = "Aceto, Luca and {\'E}sik, Zolt{\'a}n and Fokkink, Willem Jan and Ing{\'o}lfsd{\'o}ttir, Anna", number = "NS-03-3", series = ns, address = iesd, month = nov, organization = brics, note = "vi+138", abstract = "This volume contains reprints of the slides of most of the talks that were delivered during the workshop on \htmladdnormallink{``Process Algebra: Open Problems and Future Directions''}{http://www.cs.auc.dk/~luca/BICI/pa2003.html} that was held in the period 21--25 July, 2003, at the \htmladdnormallink{University Residential Centre of Bertinoro}{http://www.centrocongressibertinoro.it/en/home/index.cfm}, Forl{\`\i}, Italy.", linkhtmlabs = "", linkpdf = "" } @TechReport{BRICS-NS-03-2, author = "Aceto, Luca", title = "Some of My Favourite Results in Classic Process Algebra", institution = brics, year = 2003, type = rs, number = "NS-03-2", address = iesd, OPTkey = "", month = sep, note = "21~pp. To appear in the {\em Bulletin of the EATCS}, volume 81, October 2003", abstract = "This note collects some of the author's favourite results in classic process algebra, broadly construed, and points to some open problems in the field. It is hoped that this piece will offer a modest contribution to the healthy development of this area of research", linkhtmlabs = "", linkdvi = "", linkps = "", linkpdf = "", OPTannote = "" } @proceedings{BRICS-NS-03-1, title = "Preliminary Proceedings of the Workshop on Geometry and Topology in Concurrency Theory, {GETCO~'03}, {\em(Marseille, France, September 6, 2003)}", year = 2003, editor = "Cousot, Patrick and Fajstrup, Lisbeth and Goubault, Eric and Herlihy, Maurice and Alexander, Kurtz and Rau{\ss}en, Martin and Sassone, Vladimiro", number = "NS-03-1", series = ns, address = iesd, month = aug, organization = brics, note = "vi+54", abstract = "This volume contains the {\it preliminary proceedings} of GETCO~'03 held jointly with CMCIM 2003 in Marseille, France, on September 6, 2003, as a satellite workshop of CONCUR 2003", linkhtmlabs = "", linkpdf = "" }