@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"}
@techreport{BRICS-NS-00-8,
author = "M{\o}ller, Anders and Schwartzbach, Michael
I.",
title = "The {XML} Revolution",
institution = brics,
year = 2000,
type = ns,
number = "NS-00-8",
address = daimi,
month = dec,
note = "149~pp",
abstract = "This 130+ page slide collection provides an
introduction and overview of XML, Namespaces,
XLink, XPointer, XPath, DSD, XSLT, and XML-QL,
including selected links to more information
about each topic",
linkhtmlabs = "",
linkps = "",
linkpdf = ""
}
@techreport{BRICS-NS-00-7,
author = "Klarlund, Nils and M{\o}ller, Anders and
Schwartzbach, Michael I.",
title = "Document Structure Description~1.0",
institution = brics,
year = 2000,
type = ns,
number = "NS-00-7",
address = daimi,
month = dec,
note = "40~pp",
abstract = "Document Structure Description~1.0 is a
complete specification of a new XML notation
for describing classes of XML documents. The
notation is designed to be a simple tool based
on familiar concepts. DSDs provide more
flexible and precise structural descriptions
than possible with DTDs or the current XML
Schema proposal. A DSD generates a CSS-like
default mechanism independent of formatting
models. Finally, it allows an extension
mechanism so that DSDs may be updated with new
structural concepts",
linkhtmlabs = "",
linkdvi = "",
linkps = "",
linkpdf = ""
}
@proceedings{BRICS-NS-00-6,
title = "Proceedings of the Third International
Workshop on Action Semantics, {AS~2000}, {\em
(Recife, Brazil, May 15--16, 2000)}",
year = 2000,
editor = "Mosses, Peter D. and de Moura, Hermano
Perrelli",
number = "NS-00-6",
series = ns,
address = daimi,
month = aug,
organization = brics,
note = "viii+148~pp",
abstract = "Action Semantics is a practical framework for
formal semantic description of programming
languages. Since its appearance in 1992, 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. The AS~2000 workshop included
reports of recent achievements with the
foundations and applications of Action
Semantics, presentations and demonstrations of
tool support for action-semantic descriptions,
and discussion of a proposal for a new (and
significantly simpler) version of Action
Notation",
linkhtmlabs = "",
linkps = "",
linkpdf = ""
}
@techreport{BRICS-NS-00-5,
author = "Brabrand, Claus",
title = "{\tt} Version 1.3 --- Tutorial",
institution = brics,
year = 2000,
type = ns,
number = "NS-00-5",
address = daimi,
month = sep,
note = "ii+92~pp",
abstract = "This tutorial to the {\tt}-language is
based on a number of example programs
illustrating the features of the language.
\subsubsection*{Contents}
\begin{itemize}
\item Introduction
\item Getting Started
\item Dynamic Documents
\item PowerForms
\item Database
\item Concurrency Control
\item Macros
\end{itemize}
",
linkhtmlabs = "",
linkps = "",
linkpdf = ""
}
@techreport{BRICS-NS-00-4,
author = "Brabrand, Claus",
title = "{\tt} Version 1.3 --- Reference
Manual",
institution = brics,
year = 2000,
type = ns,
number = "NS-00-4",
address = daimi,
month = sep,
note = "ii+56~pp",
abstract = "This reference manual concisely describes the
whole {\tt}-language. \subsubsection
*{Contents}
\begin{itemize}
\item Keyword Index
\item Lexical Structure
\item Syntax
\item Operators
\item Scope Rules
\item Types
\item Core Language
\item Control Structures
\item Files
\item Macros
\item Form Input
\item Formats
\item Dynamic Documents
\item Database
\item Security
\item Concurrency Control
\item Web Specifics
\item Time
\end{itemize}
",
linkhtmlabs = "",
linkps = "",
linkpdf = ""
}
@proceedings{BRICS-NS-00-3,
title = "Preliminary Proceedings of the Workshop on
Geometry and Topology in Concurrency Theory,
{GETCO~'00}, {\em(State College, USA, August
21, 2000)}",
year = 2000,
editor = "Cousot, Patrick and Goubault, Eric and
Gunawardena, Jeremy and Herlihy, Maurice and
Rau{\ss}en, Martin and Sassone, Vladimiro",
number = "NS-00-3",
series = ns,
address = daimi,
month = aug,
organization = brics,
note = "vi+116~pp",
abstract = "This volume contains the {\it preliminary
proceedings} of GETCO~'00, held in State
College (Pennsylvania, USA) on August 21, 2000.
The workshop aims at bringing together
researchers from both the mathematical
(geometry, topology, algebraic topology etc.)
and computer scientific side (concurrency
theorists, semanticians, researchers in
distributed systems etc.) with an active
interest in these or related developments. The
final proceedings will appear as volume 39 in
the ENTCS series, which can be found at
\htmladdnormallink
{www.elsevier.nl/locate/entcs/volume39.html}{http://www.elsevier.nl/locate/entcs/volume39.html}",
linkhtmlabs = "",
linkps = "",
linkpdf = ""
}
@proceedings{BRICS-NS-00-2,
title = "Preliminary Proceedings of the 7th
International Workshop on Expressiveness in
Concurrency, {EXPRESS~'00}, {\em(State College,
Pennsylvania, USA, August 21, 2000)}",
year = 2000,
editor = "Aceto, Luca and Victor, Bj{\"o}rn",
number = "NS-00-2",
series = ns,
address = iesd,
month = aug,
organization = brics,
note = "vi+130~pp",
abstract = "This volume contains the {\it preliminary
proceedings} of EXPRESS'00, which was held in
State College (Pennsylvania, USA) on 21 August
2000. It includes the six papers that were
selected for presentation by the program
committee, together with the contribution by
the invited speaker, Neil D.~Jones (DIKU,
Denmark). The final proceedings will appear as
volume 39 in the ENTCS series, which can be
found at \htmladdnormallink
{www.elsevier.nl/locate/entcs/volume39.html}{http://www.elsevier.nl/locate/entcs/volume39.html}",
linkhtmlabs = "",
linkps = "",
linkpdf = ""
}
@techreport{BRICS-NS-00-1,
author = "G{\"a}rtner, Bernd",
title = "Randomization and Abstraction --- Useful Tools
for Optimization",
institution = brics,
year = 2000,
type = ns,
number = "NS-00-1",
address = daimi,
month = feb,
note = "106~pp",
abstract = "This report contains notes for a course on
randomized methods in geometric optimization,
held first at BRICS, Aarhus University, Denmark
and later at the Institute for Computer
Science, ETH Z{\"u}rich, Switzerland",
linkhtmlabs = "",
linkps = "",
linkpdf = ""
}