The Collection of
Computer Science Bibliographies

Bibliography on Calculi for Mobile Processes

Number of references:	558	Last update:	April 27, 2004
Number of online publications:	111	Supported:	yes
Most recent reference:	August 2002

Authors:: Uwe Nestmann <Uwe . Nestmann @ epfl . ch> (email mangled to prevent spamming)

EPFL - DI - LAMP
Ecublens
CH-1015 Lausanne
Switzerland

Björn Victor <Bjorn . Victor @ DoCS . UU . SE> (email mangled to prevent spamming)

Department of Computer Systems
Uppsala University
Box 325
S-751 05 Uppsala
Sweden
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).

Original source:

http://lampwww.epfl.ch... (Format: bibtex, compressed with gzip)
Other sites:

http://lampwww.epfl.ch... (Format: dvi, compressed with gzip)
http://lampwww.epfl.ch... (Format: html)

Types:: inproceedings(281), proceedings(124), article(79), techreport(35), phdthesis(25), book(5), incollection(4), unpublished(3), conference(1), misc(1)
Fields:: title(558), year(558), author(432), booktitle(412), volume(394), publisher(367), editor(335), series(329), pages(298), month(190), crossrefonly(124), note(108), url(95), number(91), journal(79), organization(61), abstract(40), institution(35), school(25), type(21), isbn(18), address(7), keywords(4), issn(3), issue(2), chapter(1), crossref(1), editors(1), howpublished(1)
Distribution of publication dates: