C. Fournet and G. Gonthier (1996), The Re exive Chemical Abstract Machine and the Join-Calculus, In Proc. POPL'96, 372-385, ACM. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Secrecy Types for Asymmetric Communication - Abadi, Blanchet (2001) (22 citations) (Correct)
....communication primitives. Along the way, the introduction mentions relevant related work. The process calculus. The process calculus is a relative of the pi calculus [28] and the spi calculus [4] It includes channels with xed receivers, as in the local pi calculus [26] the join calculus [16], and many object oriented languages (e.g, 7] Such a channel can be used for transmitting secrets if the adversary cannot listen on the channel. On the other hand, the capability for sending on the channel may be published. The channel may therefore convey not only secrets but also public data ....
Cedric Fournet and Georges Gonthier. The re exive chemical abstract machine and the join-calculus. In Proceedings of the 23rd ACM Symposium on Principles of Programming Languages, pages 372-385, January 1996.
Towards a Primitive Higher Order Calculus of Broadcasting.. - Ostrovsky, Prasad, Taha (2000) (Correct)
....the asynchronous calculus. Since the choice of communication mechanism is independent from the mobility primitives, it may be interesting to study a broadcasting version of Ambient calculus. Also, broadcasting Ambient calculus might have simple encoding in HOBS. Both HOBS and the join calculus [8] can be viewed as extensions of the calculus. HOBS adds parallel composition and broadcast communication on top of the bare calculus. The join calculus adds parallel composition and a parallel pattern on top of the calculus with explicit let. The relationship between these two calculi ....
Cedric Fournet and Georges Gonthier. The re exive chemical abstract machine and the join-calculus. In Proceedings of the 23rd ACM Symposium on Principles of Programming Languages, pages 372-385. ACM, January 1996.
Bisimulations in the Join-Calculus - Fournet, Laneve (2001) (1 citation) Self-citation (Fournet) (Correct)
No context found.
C. Fournet and G. Gonthier. The re exive chemical abstract machine and the join-calculus. In Proceedings of POPL'96, pages 372-385. ACM, Jan. 1996.
JoCaml: a Language for Concurrent Distributed and.. - Fournet, Le.. (2002) Self-citation (Fournet) (Correct)
No context found.
C. Fournet and G. Gonthier. The re exive chemical abstract machine and the join-calculus. In Proceedings of POPL'96, pages 372-385. ACM, Jan. 1996.
The Join Calculus: A Language for Distributed Mobile Programming - Fournet, Gonthier (2000) Self-citation (Fournet Gonthier) (Correct)
No context found.
C. Fournet and G. Gonthier. The re exive chemical abstract machine and the join-calculus. In Proceedings of POPL'96, pages 372-385. ACM, Jan. 1996.
Inheritance in the Join Calculus - Fournet, Laneve, Maranget.. (2001) (8 citations) Self-citation (Fournet) (Correct)
No context found.
C. Fournet and G. Gonthier. The re exive chemical abstract machine and the join-calculus. In Proceedings of POPL '96, pages 372-385, Jan. 1996.
Secure Implementation of Channel Abstractions - Mart Abadi Abadi (1998) (9 citations) Self-citation (Edric Georges) (Correct)
No context found.
Cedric Fournet and Georges Gonthier. The re exive chemical abstract machine and the join-calculus. In Proceedings of the 23rd ACM Symposium on Principles of Programming Languages, pages 372-385, January 1996.
JoCaml: a Language for Concurrent Distributed and.. - Fournet, Le.. Self-citation (Fournet) (Correct)
....to provide some language support and tools to facilitate distributed programming. JoCaml is an attempt to provide such a high level language in a functional setting, with linguistic support for asynchronous, distributed, and mobile programming [6, 15] JoCaml is based on the join calculus [7, 8], a simple and wellde ned model of concurrency similar to the pi calculus [22, 21] but more suitable for programming. The join calculus is the core language for JoCaml and its predecessors, and has inspired the design of several other languages [3, 23, 27, 28] More formally, the join calculus is ....
C. Fournet and G. Gonthier. The re exive chemical abstract machine and the join-calculus. In Proceedings of POPL'96, pages 372-385. ACM, Jan. 1996.
High-Level Petri Nets as - Type Theories In (Correct)
No context found.
C. Fournet and G. Gonthier (1996), The Re exive Chemical Abstract Machine and the Join-Calculus, In Proc. POPL'96, 372-385, ACM.
Extending the Zero-Safe approach to Coloured.. - Bruni, Melgratti.. (Correct)
No context found.
C. Fournet and G. Gonthier. The re exive chemical abstract machine and the Join calculus. In Proceedings of POPL'96, 23rd Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages, pages 372-385. ACM Press, 1996.
Information Societies Technology - Ist Programme Contract (Correct)
No context found.
Cedric Fournet and Georges Gonthier. The re exive chemical abstract machine and the joincalculus. In Proceedings of the 23rd ACM Symposium on Principles of Programming Languages, pages 372-385, St. Petersburg Beach, Florida, January 21-24 1996. ACM.
High-Level Petri Nets as Type Theories in the Join Calculus - Buscemi, Sassone (2001) (5 citations) (Correct)
No context found.
C. Fournet and G. Gonthier (1996), The Re exive Chemical Abstract Machine and the Join-Calculus, In Proc. POPL'96, 372-385, ACM.
Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (Correct)
No context found.
Cedric Fournet and Georges Gonthier. The re exive chemical abstract machine and the join-calculus. In Proceedings of POPL '96 [ACM96], pages 372-385.
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