Moe Ffiw Rk %'/+`R/47Moe$.A.ffiw2RK3'.ffiw2 /6\Omega 7D6H7..R4ae+.vRCbj'flKfi.oe...  Home/Search
Context
Related
| doc.ic.ac.uk/~yoshida/paper/11.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: doc.ic.ac.uk/~yoshida/paper/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: x:P ). "jxjP " is a scope restriction and x in jxj binds free occurrences of x in P . "P; Q" is a concurrent composition of P and Q. "!ax:P " is a lazy replicator. "3" is a syntactic convention to denote nothing. Free (resp. bound) names in P is denoted by FN (P ) (resp. BN (P )). We also assume the usual notion of substitution, [v=x] (or oe), and ff-conversion. For technical convenience we hereafter identify ff-convertible terms. Some conventions: we write / c and c:P to mean we do not care... (Update)
Similar documents (at the sentence level):
13.2%: On Reduction-Based Process Semantics - Honda, Yoshida (1995) (Correct)
Active bibliography (related documents): More All
0.2: What is a `Good' Encoding of Guarded Choice? - Nestmann (1999) (Correct)
0.1: Interpreting Functions as π-Calculus Processes: A Tutorial - Sangiorgi (1999) (Correct)
0.1: Lazy Functions and Mobile Processes - Sangiorgi (1995) (Correct)
Similar documents based on text: More All
0.8: Replication in Concurrent Combinators - Honda, Yoshida (1994) (Correct)
0.7: Combinatory Representation of Mobile Processes - Honda, Yoshida (1994) (Correct)
0.7: lambda f-calculus - a Functional Calculus with Shared.. - Yoshida, Honda, Tokoro (Correct)
BibTeX entry: (Update)
@misc{ rk-unknown,
author = "Moe Ffiw Rk",
title = "Unknown",
url = "citeseer.ist.psu.edu/574802.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
729 The Lambda Calculus: Its Syntax and Semantics (context) - Barendregt - 1984
484 Calculus of Communicating Systems (context) - Milner - 1980
297 A Calculus of Mobile Processes (context) - Milner, Parrow et al. - 1989
294 An Object Calculus for Asynchronous Communication - Honda, Tokoro - 1991
197 Barbed Bisimulation - Milner, Sangiriorgi - 1992
194 Functions as Processes (context) - Milner - 1990
179 The Lazy Lambda Calculus - Abramsky - 1988
159 The Chemical Abstract Machine (context) - Berry, Boudol - 1990
45 Asynchrony and -calculus (context) - Boudol - 1992
42 The Lazy Lambda Calculus: An Investigation into the Foundati.. (context) - Ong - 1988
13 Observational Equivalence as a Testing Equivalence (context) - Abramsky - 1987
9 Set Theoretical Models of Lambda Calculus: Theory (context) - Longo - 1983
4 Notes on Soundness of Mapping from -calculus to -calculus (context) - Honda - 1992
1 Submitted to Theoretical Computer Science (context) - Honda - 1992
1 Reduction Theories for Concurrent Calculi: Behavioural Seman.. (context) - Honda, Yoshida - 1992
Documents on the same site (http://www.doc.ic.ac.uk/~yoshida/paper/): More
lambda f-calculus - a Functional Calculus with Shared.. - Yoshida, Honda, Tokoro (Correct)
Sequentiality and the π-Calculus - Berger, Honda, Yoshida (2001) (Correct)
Sequentiality and the π-Calculus - Berger, Honda, Yoshida (2001) (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