@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-02-8, title = "Proceedings of the Fourth International Workshop on Action Semantics, {AS~2002}, {\em (Copenhagen, Denmark, July 21, 2002)}", year = 2002, editor = "Mosses, Peter D.", number = "NS-02-8", series = ns, address = daimi, month = dec, organization = brics, note = "vi+133~pp", abstract = "Action Semantics \htmladdnormallink{www.brics.dk/Projects/AS/}{http://www.brics.dk/Projects/AS/} is a practical framework for formal semantic description of programming languages. Since its appearance ten years ago, Action Semantics has been used to describe major languages such as Pascal, SML, ANDF, and Java, and various tools for processing action semantic descriptions have been developed.\bibpar The AS~2002 workshop Proceedings includes contributed papers on recent development and applications of tool support for Action Semantics, on ways of increasing the modularity of action semantic descriptions and the definition of Action Notation, on analysis of information flow and types of actions, and on test suite generation based on Abstract State Machines. It also includes an invited paper by Egon B{\"o}rger with a comparative study of computation and specification models", linkhtmlabs = "", linkps = "", linkpdf = "" } @TechReport{BRICS-NS-02-7, author = "M{\o}ller, Anders", title = "Document Structure Description~2.0", institution = brics, year = 2002, type = ns, number = "NS-02-7", address = daimi, OPTkey = "", month = dec, note = "29~pp", abstract = "This document contains the specification of the Document Structure Description 2.0 (DSD2) schema language for XML", linkhtmlabs = "", linkps = "", linkpdf = "", OPTannote = "" } @TechReport{BRICS-NS-02-6, author = "Christensen, Aske Simon and M{\o}ller, Anders", title = "{JWIG} User Manual", institution = brics, year = 2002, type = ns, number = "NS-02-6", address = daimi, OPTkey = "", month = oct, note = "35~pp", abstract = "This manual describes version 1.0 of the JWIG Web service development system", linkhtmlabs = "", linkdvi = "", linkps = "", linkpdf = "", OPTannote = "" } @proceedings{BRICS-NS-02-5, title = "Preliminary Proceedings of the Workshop on Geometry and Topology in Concurrency Theory, {GETCO~'02}, {\em(Toulouse, France, October 30--31, 2002)}", year = 2002, editor = "Cousot, Patrick and Fajstrup, Lisbeth and Goubault, Eric and Herlihy, Maurice and Rau{\ss}en, Martin and Sassone, Vladimiro", number = "NS-02-5", series = ns, address = iesd, month = oct, organization = brics, note = "vi+97", abstract = "This volume contains the {\it preliminary proceedings} of GETCO~'02 held in Toulouse, France, on October 30--31, 2002, as a satellite workshop of Disc 2002", linkhtmlabs = "", linkpdf = "" } @TechReport{BRICS-NS-02-4, author = "Gudbjartsson, Daniel and Ing{\'o}lfsd{\'o}ttir, Anna and Kong, Augustin ", title = "An {BDD}-Based Implementation of the {A}llegro Software", institution = brics, year = 2002, type = rs, number = "RS-02-4", address = iesd, OPTkey = "", month = aug, note = "2~pp", abstract = "We have applied Multi Teminal Binary Decision Diagrams (MTBDD's) to parts of the algorithms sitting inside the Allegro software. The results have been really promising and we have been able to handle considerably larger pedigrees than with other methods", linkhtmlabs = "", linkps = "", linkpdf = "", OPTannote = "" } @proceedings{BRICS-NS-02-3, title = "Preliminary Proceedings of the 3rd International Workshop on Models for Time-Critical Systems, {MTCS~'02}, {\em (Brno, Czech Republic, August 24, 2002)}", year = 2002, editor = "Vogler, Walter and Larsen, Kim G.", number = "NS-02-3", series = ns, address = iesd, month = aug, organization = brics, note = "vi+141~pp", abstract = "This volume contains the {\it preliminary proceedings} of MTCS~'02 held at the University of Aalborg on August 24, 2002, as a satellite workshop of CONCUR~'02", linkhtmlabs = "", linkpdf = "" } @proceedings{BRICS-NS-02-2, title = "Preliminary Proceedings of the Workshop on Fixed Points in Computer Science, {FICS~'02}, {\em(Copenhagen, Denmark, July 20 and 21, 2002)}", year = 2002, editor = "{\'E}sik, Zolt{\'a}n and Ing{\'o}lfsd{\'o}ttir, Anna", number = "NS-02-2", series = ns, address = iesd, month = jun, organization = brics, note = "iv+81~pp", abstract = "This volume contains the {\it preliminary proceedings} of FICS~'01 held in Copenhagen on July 20 and 21, 2002, as a satellite workshop of LICS~'02 under FLoC~'02", linkhtmlabs = "", linkpdf = "" } @techreport{BRICS-NS-02-1, author = "M{\o}ller, Anders and Schwartzbach, Michael I.", title = "Interactive Web Services with Java: {JSP}, Servlets, and {JWIG}", institution = brics, year = 2002, type = ns, number = "NS-02-1", address = daimi, month = apr, note = "99~pp", abstract = "This slide collection provides an introduction to Java-based technologies for developing interactive Web services. Part 1 describes the basic architecture of the WWW and the relation to Java. Part 2 and 3 describe Sun's Servlet and JSP languages. Part 4 gives an overview of the JWIG high-level language developed at BRICS, and Part 5 describes the PowerForms exten", linkhtmlabs = "", linkpdf = "" }