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