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)
Active bibliography (related documents): More All
1.4: Causality and True Concurrency: A Data-flow Analysis of.. - Jagadeesan, Jagadeesan (1995) (Correct)
0.4: Observing "True" Concurrency - Jategaonkar (1993) (Correct)
0.3: Truly Concurrent Constraint Programming - Gupta, Jagadeesan, Saraswat (1996) (Correct)
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
39 Series in Computer Science (context) - Milner, Concurrency - 1989
30 Locality and non-interleaving semantics in calculi for mobil.. - Sangiorgi - 1994
22 dI-domains as a model of polymorphism (context) - Coquand, Gunter et al. - 1987
19 Petri net models for algebraic theories of concurrency (context) - van Glabbeek, Vaandrager - 1987
16 CCS and Petri nets (context) - Goltz - 1990
15 Testing equivalence for Petri nets with action refinement - Jategaonkar, Meyer - 1992
13 A generalized Kahn principle for abstract asynchronous netwo.. (context) - Abramsky - 1989
12 A fully abstract semantics for causality in the - calculus (context) - Boreale, Sangiorgi - 1994
11 On oraclizable networks and kahn's principle (context) - Russell - 1990
8 Technische Universitat Munchen (context) - Kiehn, global et al. - 1991
5 Coroutines and networks of parallel proceses (context) - Kahn, MacQueen - 1977
4 and Transactions for Process Description Languages (context) - Gorrieri, Atomicity - 1991
4 Massachusetts institute of Technology (context) - Jategaonkar, True et al. - 1993
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