@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 =	 ""
}