@Bibtex-file{Theory/concurrency.bib,
  title =        "Bibliography on the theory of concurrency",
  author =       "Frits W. Vaandrager",
  address =      "CWI\\Kruislaan 413\\ P.O. Box 94079\\1090 GB
                 Amsterdam\\The Netherlands",
  email =        "Frits.Vaandrager@cwi.nl",
  abstract =     "This bibliography concerns theory of concurrency, in
                 particular \begin{itemize} \item Specification and
                 verification of concurrent, real-time and hybrid
                 systems \item Automata-based verification methods \item
                 Computer-aided verification \item Semantics of
                 concurrent prgramming and specification languages \item
                 Temporal and modal logics \end{itemize}",
}