Analysis of the Pi-Calculus (Extended  Home/Search
Context
Related
| depaul.edu/rjagade...orpicalculus.ps.gz 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: depaul.edu/rjagadeesan/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Lalita Jategaonkar Jagadeesan Software Production Research Dept. (Update)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ the-causality,
author = "Analysis Of The",
title = "Causality and True Concurrency: A Data-flow",
url = "citeseer.ist.psu.edu/758935.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
302 The semantics of a simple language for parallel programming (context) - Kahn - 1977
248 Expressing Mobility (context) - Sangiorgi - 1992
194 Functions as processes (context) - Milner - 1990
168 Theoretical Computer Science (context) - Nielsen, Plotkin et al. - 1981
131 Modeling concurrency with partial orders (context) - Pratt - 1986
125 Event structures (context) - Winskel - 1987
69 Causal trees (context) - Degano, Darondeau - 1989
69 Geometry of interaction 1: Interpretation of System F (context) - Girard - 1989
57 calculus semantics of object-oriented programming languages (context) - Walker - 1991
50 New foundations for the geometry of interaction - Abramsky, Jagadeesan - 1994
49 Modular Construction and Partial Order Semantics of Petri Ne.. (context) - Vogler - 1992
45 Towards action-refinement (context) - Aceto, Hennessy
45 A theory of processes with localities (context) - Boudol, Castellani et al. - 1992
43 The polyadic pi-calculus: a tutorial - Milner - 1991
[Article contains additional citations not shown here]
Documents on the same site (http://fpl.cs.depaul.edu/rjagadeesan/pubs.html): More
On The Expressiveness of 3-Valued Models - Godefroid, Jagadeesan (2003) (Correct)
Metrics for Labeled Markov Systems - Desharnais, Jagadeesan, Gupta, al. (1999) (Correct)
Probabilistic Concurrent Constraint Programming - Gupta, Jagadeesan, Saraswat (1997) (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