D. Sangiorgi. Interpreting functions as pi-calculus processes: a tutorial. Revised version of TR RR-3470, INRIA Sophia Antipolis. Available as ftp://ftpsop /meije/theorie-par/davides/functionPItutorial.ps.gz, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Explicit Namespaces - Achermann, Nierstrasz (2000) (2 citations) (Correct)
....and newChannel. Services. A service represents a function or procedure. It is represented by a replicated agent that reads from a channel (the service location) and evaluates a form as its result. The service protocol specifies how the result channel gets passed from the caller to the callee [15][21]. Piccola has only four keywords, two of which are needed to define services. The value returned by a service may be denoted by return. A recursively defined service must be declared with def, which constructs a fixpoint. 2.2 Static and Dynamic Namespaces Piccola is statically scoped, and the ....
D. Sangiorgi, "Interpreting functions as Pi-calculus processes: a tutorial," RR 3470, INRIA Sophia-Antipolis, France, February 1999.
Asynchronous process calculi: the first-order and higher-order.. - Sangiorgi (1999) (6 citations) Self-citation (Sangiorgi) (Correct)
....basic issues of higher order process calculi, including their expressivity. We regard reduction strategies as an important but orthogonal issue. Reduction strategies are best understood separately, on the calculus. Encodings of various calculus reduction strategies into calculus are studied in [25, 37]. Xi Barbed congruence is dened in LHO as by Denition 3.2 (take the calculus L in the denition to be LHO) Remark 4.7 The language of LHO without replication is enough to write processes with an innite behaviour, for the same reason why the paradoxical operator Y can be written in the calculus. ....
D. Sangiorgi. Interpreting functions as pi-calculus processes: a tutorial. Revised version of TR RR-3470, INRIA-Sophia Antipolis. Available as ftp://zenon.inria.fr/meije/theorie-par/davides/functionPItutorial.ps.gz, 1999.
Behavioral Equivalence in the Polymorphic Pi-Calculus - Pierce, Sangiorgi (1999) (49 citations) Self-citation (Sangiorgi) (Correct)
.... on types can be established when translating functional, objectoriented, imperative languages [PS93, Kob98, San98a, RS99] in the case of imperative languages, processes play the role of commands; as the processes of the pi calculus, so the commands of imperative languages have all the same type) [San98b] is a survey paper on the representation of functions (typed and untyped) as processes. A process model that, like the lambda calculus, assigns types to terms, is Abramsky and collegues s Interaction Categories [AGN95] In Interaction Categories, objects are types, morphisms are processes ....
D. Sangiorgi. Interpreting functions as pi-calculus processes: a tutorial. Technical Report RR-3470, INRIA-Sophia Antipolis, 1998.
From Böhm's Theorem to Observational Equivalences: an .. - Dezani-Ciancaglini.. (2001) (Correct)
No context found.
D. Sangiorgi. Interpreting functions as pi-calculus processes: a tutorial. Revised version of TR RR-3470, INRIA Sophia Antipolis. Available as ftp://ftpsop /meije/theorie-par/davides/functionPItutorial.ps.gz, 1999.
Description and Verification of Mobile Processes with Graph.. - König (Correct)
No context found.
Davide Sangiorgi and David Walker. Interpreting functions as picalculus processes: a tutorial. Technical Report RR-3470, INRIA, 1998.
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