@Bibtex-file{Theory/pi.bib,
  title =        "Bibliography on Calculi for Mobile Processes",
  author-1 =     "Uwe Nestmann",
  address-1 =    "EPFL - DI - LAMP\\ Ecublens\\ CH-1015 Lausanne\\
                 Switzerland",
  email-1 =      "Uwe.Nestmann@epfl.ch",
  author-2 =     "Bj{\"o}rn Victor",
  address-2 =    "Department of Computer Systems\\ Uppsala University\\
                 Box 325\\ S-751 05 Uppsala\\ Sweden",
  email-2 =      "Bjorn.Victor@DoCS.UU.SE",
  supported =    "yes",
  abstract =     "This bibliography should ideally list every
                 publication in the context of the pi-calculus, its
                 descendants, including higher-order forms, and
                 implementations. In general, the listed items shall
                 address mobility phenomena via the investigation of
                 mathematically tractable calculi. So, this bibliography
                 does not include just anything about process algebra
                 (unless mobility is explicitly tackled) or mobile
                 systems (unless a foundational calculus is involved).",
}