Uwe Nestmann, Björn Victor  Home/Search
Context
Related
| cs.auc.dk/mobility/bib/EATCS/main.ps lampwww.epfl.ch/mobility/bib/...main.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.auc.dk/~uwe/self/output (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. Introduction The ß-calculus, originally introduced by Robin Milner, Joachim Parrow, and David Walker... (Update)
Active bibliography (related documents): More All
0.1: History Dependent Automata - Montanari, Pistore (2001) (Correct)
0.1: Model Checking Dynamic Allocation and Deallocation - Distefano, Rensink, Katoen (2002) (Correct)
0.1: A Simple pi-Calculus Manipulation Tool - van Deursen (Correct)
Similar documents based on text: More All
0.2: Mobile Processes: a Commented Bibliography - Zilio (2001) (Correct)
0.2: Solos in Concert - Laneve, Victor (1999) (Correct)
0.2: EXPRESS'98 --- to appear - On The Expressive (Correct)
BibTeX entry: (Update)
@article{ nestmann98calculi,
author = "Uwe Nestmann and Bj{\"o}rn Victor",
title = "Calculi for Mobile Processes - Bibliography and Web Pages",
journal = "Bulletin of the European Association for Theoretical Computer Science",
volume = "64",
pages = "139--144",
year = "1998",
url = "citeseer.ist.psu.edu/nestmann98calculi.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
297 A Calculus of Mobile Processes (context) - Milner, Parrow et al. - 1992
294 An Object Calculus for Asynchronous Communication - Honda, Tokoro - 1991
248 Expressing Mobility (context) - Sangiorgi - 1993
50 A Calculus of Communicating Systems with Label-Passing - Engberg, Nielsen - 1986
46 Calculi for Higher Order Communicating Systems (context) - Thomsen - 1990
17 Turing Award Lecture (context) - Milner, Interaction et al. - 1993
13 Parametric Channels via Label Expressions in CCS (context) - Astesiano, Zucca - 1984
13 The Mobility Workbench --- A Tool for the ß-Calculus (context) - Victor, Moller - 1994
7 An Automata Based Verification Environment for Mobile Proces.. (context) - Ferrari, Ferro et al. - 1997
Documents on the same site (http://www.cs.auc.dk/~uwe/self/output.html): More
Decoding Choice Encodings - Nestmann, Pierce (1996) (Correct)
Migration = Cloning ; Aliasing - Hüttel, Kleist, Merro, Nestmann (Correct)
Aliasing Models for Object Migration - Nestmann, Hüttel, Kleist, Merro (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC