@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-01-8,
author = "M{\o}ller, Anders and Schwartzbach, Michael
I.",
title = "The {XML} Revolution (Revised)",
institution = brics,
year = 2001,
type = ns,
number = "NS-01-8",
address = daimi,
month = dec,
note = "186~pp. This revised and extended report
superseeds the earlier BRICS Report NS-00-8",
abstract = "This slide collection provides an overview of
XML and the essential related technologies:
Namespaces, XInclude, XML Base, XLink,
XPointer, XPath, DTD, XML Schema, DSD, XSLT,
XQuery, DOM, SAX, and JDOM",
linkhtmlabs = "",
linkps = "",
linkpdf = ""
}
@proceedings{BRICS-NS-01-7,
title = "Preliminary Proceedings of the Workshop on
Geometry and Topology in Concurrency Theory,
{GETCO~'01}, {\em(Aalborg, Denmark, August 25,
2001)}",
year = 2001,
editor = "Cousot, Patrick and Fajstrup, Lisbeth and
Goubault, Eric and Gunawardena, Jeremy and
Herlihy, Maurice and Rau{\ss}en, Martin and
Sassone, Vladimiro",
number = "NS-01-7",
series = ns,
address = iesd,
month = aug,
organization = brics,
note = "vi+97~pp",
abstract = "This volume contains the {\it preliminary
proceedings} of GETCO~'01 held at the
University of Aalborg on August 25, 2001, as a
satellite workshop of CONCUR~'01",
linkhtmlabs = "",
linkpdf = ""
}
@proceedings{BRICS-NS-01-6,
title = "Preliminary Proceedings of the 8th
International Workshop on Expressiveness in
Concurrency, {EXPRESS~'01}, {\em(Aalborg,
Denmark, August 20, 2001)}",
year = 2001,
editor = "Aceto, Luca and Panangaden, Prakash",
number = "NS-01-6",
series = ns,
address = iesd,
month = aug,
organization = brics,
note = "vi+139~pp",
abstract = "This volume contains the {\it preliminary
proceedings} of EXPRESS~'01 held at the
University of Aalborg on August 20, 2001, as a
satellite workshop of CONCUR~'01. The final
proceedings will appear as volume 52 number 1
in the ENTCS series, which can be accessed at
\htmladdnormallink
{www.elsevier.nl/locate/entcs/volume52.html}{http://www.elsevier.nl/locate/entcs/volume52.html}",
linkhtmlabs = "",
linkpdf = ""
}
@proceedings{BRICS-NS-01-5,
title = "Preliminary Proceedings of the 2nd
International Workshop on Models for
Time-Critical Systems, {MTCS~'01}, {\em
(Aalborg, Denmark, August 25, 2001)}",
year = 2001,
editor = "Corradini, Flavio and Vogler, Walter",
number = "NS-01-5",
series = ns,
address = iesd,
month = aug,
organization = brics,
note = "vi+~127pp",
abstract = "This volume contains the {\it preliminary
proceedings} of MTCS~'01 held at the University
of Aalborg on August 25, 2001, as a satellite
workshop of CONCUR~'01",
linkhtmlabs = "",
linkpdf = ""
}
@proceedings{BRICS-NS-01-4,
title = "Proceedings of the Workshop on Formal
Approaches to Testing of Software, {FATES~'01},
{\em(Aalborg, Denmark, August 25, 2001)}",
year = 2001,
editor = "Brinksma, Ed and Tretmans, Jan",
number = "NS-01-4",
series = ns,
address = iesd,
month = aug,
organization = brics,
note = "viii+156~pp",
abstract = "This volume contains the {\it proceedings} of
FATES~'01 held at the University of Aalborg on
August 25, 2001, as a satellite workshop of
CONCUR~'01",
linkhtmlabs = "",
linkpdf = ""
}
@proceedings{BRICS-NS-01-3,
title = "Proceedings of the 3rd International Workshop
on Implicit Computational Complexity,
{ICC~'01}, {\em(Aarhus, Denmark, May 20--21,
2001)}",
year = 2001,
editor = "Hofmann, Martin",
number = "NS-01-3",
series = ns,
address = daimi,
month = may,
organization = brics,
note = "vi+144~pp",
abstract = "This volume contains the {\it proceedings} of
ICC'01, which was held at the University of
Aarhus on 20--21 May 2001.",
linkhtmlabs = "",
linkps = "",
linkpdf = ""
}
@proceedings{BRICS-NS-01-2,
title = "Preliminary Proceedings of the 17th Annual
Conference on Mathematical Foundations of
Programming Semantics, {MFPS~'01}, {\em(Aarhus,
Denmark, May 24--27, 2001)}",
year = 2001,
editor = "Brookes, Stephen and Mislove, Michael",
number = "NS-01-2",
series = ns,
address = daimi,
month = may,
organization = brics,
note = "viii+279~pp",
abstract = "This volume contains the {\it preliminary
proceedings} of MFPS'01, which was held at the
University of Aarhus on 24--27 May 2001. The
final proceedings will appear as volume 45 in
the ENTCS series, which can be found at
\htmladdnormallink
{www.elsevier.nl/locate/entcs/volume45.html}{http://www.elsevier.nl/locate/entcs/volume45.html}",
linkhtmlabs = "",
linkps = "",
linkpdf = ""
}
@techreport{BRICS-NS-01-1,
author = "Klarlund, Nils and M{\o}ller, Anders",
title = "{\sf MONA} Version 1.4 --- {U}ser Manual",
institution = brics,
year = 2001,
type = ns,
number = "NS-01-1",
address = daimi,
month = jan,
note = "83~pp",
abstract = "This manual describes all features of MONA
Version~1.4 through a number of examples. Both
the classical decision procedure for the WS1S
logic and the MONA approach is explained. Also
the WS2S logic and the MONA concept of tree
automata is presented.\bibpar
Section~1 contains an introductory example and
a brief description of MONA applications. In
Section~2, the basic features of the MONA tool
are described through a number of examples.
Section~3 discusses the automaton-logic
connection and the MONA compilation semantics.
Section~4 describes DAGification, formula
reduction, and separate compilation. In
Section~5, it is shown how to make MONA produce
detailed information about the processing and
the resulting automata. Section~6 describes
some more advanced constructs, such as,
exporting and importing automata, controlling
restrictions, and emulating Presburger
arithmetic and M2L-Str. In Section~7, the
decision procedure for WS2S is presented along
with the MONA concept of Guided Tree Automata
and an extension with recursive types.
Section~8 discusses our plans for future work.
In the appendices, the full syntax is defined,
the command-line usage of MONA is shown, and
the MONA DFA, GTA, and BDD packages are
described.\bibpar
This 80 page manual is a revised edition of the
1.3~manual updating the survey of applications
and related work and adding documentation of
the newly implemented features, recursive types
for the tree-logic part and formula reductions.
Furthermore, a large number of minor
modifications and improvements have been made",
linkhtmlabs = "",
linkps = "",
linkpdf = ""
}