Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

THE CONCURRENCY COLUMN BRICS, Department of Computer Science

BRICS, Department of Computer Science
Aalborg University, 9220 Aalborg , Denmark
luca@cs.auc.dk, http://www.cs.auc.dk/~luca/BEATCS
It has become very common for conferences in theoretical computer science
to have a large number of satellite workshops, and CONCUR is no exception.
This trend has both negative and positive implications. On the positive side,
the number of participants to these events has grown considerably, and one
has a chance to meet many colleagues, and to listen to a varied and stimulat-
ing programme of talks. On the negative side, there is often so much going on
in parallel that one ends up missing some very interesting talks -- including
invited addresses.
One of the talks I missed during CONCUR 2003 in Marseille was Eugene
Asarin's invited address at the First International Workshop on Formal Mod-
eling and Analysis of Timed Systems (FORMATS 2003). I am therefore very
happy to make up for having missed that talk by devoting this issue of the Con-
currency Column to a piece by Eugene Asarin that is based upon that invited
address of his. This contribution reports on the author's stimulating opinions


Source: Aceto, Luca - School of Computer Science, Reykjavk University


Collections: Mathematics; Computer Technologies and Information Sciences