The Collection of
Computer Science Bibliographies

Bibliography on Calculi for Mobile Processes

[   About   |  Browse   |   Statistics   ]

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

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

Information on the Bibliography

Uwe Nestmann <Uwe . Nestmann @ epfl . ch> (email mangled to prevent spamming)
CH-1015 Lausanne

Björn Victor <Bjorn . Victor @ it . uu . se> (email mangled to prevent spamming)
Department of Computer Systems
Uppsala University
Box 325
S-751 05 Uppsala

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).

Browsing the bibliography

Bibliographic Statistics

inproceedings(281), proceedings(124), article(79), techreport(35), phdthesis(25), book(5), incollection(4), unpublished(3), conference(1), misc(1)
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:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!