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

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

Browsing the bibliography

Bibliographic Statistics

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:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!