Calculi for Mobile Processes: Bibliography and Web Pages

Uwe Nestmann and Björn Victor

Abstract:

With this note we present a quick overview on the work that has been done to collect (online) resources - an extensive up-to-date bibliography and a web page for further information - covering the area of calculi for mobile processes. Therefore, we quickly recapitulate the history of this area from our point of view, which is witnessed by the number of respective research papers in the field.

In Bulletin of the EATCS, number 64, February 1998. (Postscript, compressed).


Björn Victor

Last modified: Wed, 26-Aug-1998 16:49 MEST