The reflexive CHAM and the join-calculus

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The reflexive CHAM and the join-calculus

Full text

Pdf (1.54 MB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages table of contents

St. Petersburg Beach, Florida, United States

Pages: 372 - 385

Year of Publication: 1996

ISBN:0-89791-769-3

Authors

Cédric Fournet	INRIA Rocquencourt, 78153 Le Chesnay Cedex, France
Georges Gonthier	INRIA Rocquencourt, 78153 Le Chesnay Cedex, France

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 14, Downloads (12 Months): 59, Citation Count: 91

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/237721.237805 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	G. Agha, I. Mason, S. Smith, and C. Talcott. A foundation for actor computation. Technical report, UIUC, 1993.
	2	Gul Agha, Actors: a model of concurrent computation in distributed systems, MIT Press, Cambridge, MA, 1986
	3	R. Amadio and S. Prasad. Localities and failures. Foundations of Software Technology and Theoretical Computer Science, 14, 1994.
	4	Jean-Marc Andreoli , Remo Pareschi, Communication as fair distribution of knowledge, ACM SIGPLAN Notices, v.26 n.11, p.212-229, Nov. 1991
	5	J.-P. Bangtre, M. Ban~tre, and F. Ployette. Distributed system structuring using multi-functions. Rapport de Recherche 694, INRIA Rennes, June 1987.
	6	Gérard Berry , Gérard Boudol, The chemical abstract machine, Theoretical Computer Science, v.96 n.1, p.217-248, 6 April 1992
	7	G. BoudoI. Asynchrony and the 7r-calculus (note). Rapport de Recherche 1702, INRIA Sophia-Antipolis, 1992
	8	Luca Cardelli, A language with distributed scope, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.286-297, January 23-25, 1995, San Francisco, California, United States [doi>10.1145/199448.199516]
	9	Alessandro Giacalone , Prateek Mishra , Sanjiva Prasad, Facile: a symmetric integration of concurrent and functional programming, International Journal of Parallel Programming, v.18 n.2, p.121-160, Apr. 1990 [doi>10.1007/BF01491213]
	10	Kohei Honda , Mario Tokoro, An Object Calculus for Asynchronous Communication, Proceedings of the European Conference on Object-Oriented Programming, p.133-147, July 15-19, 1991
	11	Kohei Honda , Mario Tokoro, On Asynchronous Communication Semantics, Proceedings of the Workshop on Object-Based Concurrent Computing, p.21-51, July 15-16, 1991
	12	Kohei Honda , Nobuko Yoshida, On reduction-based process semantics, Selected papers of the thirteenth conference on Foundations of software technology and theoretical computer science, p.437-486, November 1995, Bombay, India
	13	Kohei Honda , Nobuko Yoshida, Combinatory representation of mobile processes, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.348-360, January 16-19, 1994, Portland, Oregon, United States [doi>10.1145/174675.177953]
	14	Naoki Kobayashi , Benjamin C. Pierce , David N. Turner, Linearity and the pi-calculus, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.358-371, January 21-24, 1996, St. Petersburg Beach, Florida, United States [doi>10.1145/237721.237804]
	15	L. Maranget. Two techniques for compiling lazy pattern matching. Research report 2385, INRIA, 1994.
	16	R. Milner, Communication and concurrency, Prentice-Hall, Inc., Upper Saddle River, NJ, 1989
	17	Robin Milner, Functions as processes, Proceedings of the seventeenth international colloquium on Automata, languages and programming, p.167-180, July 1990, Warwick University, England
	18	R. Milner. The polyadic 7r-calculus: a tutorlal. In F. L. Bauer, W. Brauer, and H. Schwichtenberg, editors, Logic and Algebra of Specification. Springer Verlag, 1993.
	19	Robin Milner , Joachim Parrow , David Walker, A calculus of mobile processes, I, Information and Computation, v.100 n.1, p.1-40, Sept. 1992 [doi>10.1016/0890-5401(92)90008-4]
	20	Robin Milner , Davide Sangiorgi, Barbed Bisimulation, Proceedings of the 19th International Colloquium on Automata, Languages and Programming, p.685-695, July 13-17, 1992
	21	B. C. Pierce, D. R#my, and D. N. Turner. A typed higher-order programming language based on the picalculus. In Workshop on Type Theory and its Apphcation to Computer Systems, Kyoto University, July 1993.
	22	B. C. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 1995. To appear. A summary was presented at LICS '93.
	23	Benjamin C. Pierce, Concurrent Objects in a Process Calculus, Proceedings of the International Workshop on Theory and Practice of Parallel Programming, p.187-215, November 07-09, 1994
	24	B. C. Pierce and D. N. Turner. Pict: A programming language based on the pi-calculus. Technical report in preparation, 1995.
	25	Davide Sangiorgi , Robin Milner, The Problem of ``Weak Bisimulation up to'', Proceedings of the Third International Conference on Concurrency Theory, p.32-46, August 24-27, 1992
	26	Gert Smolka, A Foundation for Higher-order Concurrent Constraint Programming, Proceedings of the First International Conference on Constraints in Computational Logics, p.50-72, September 07-09, 1994
	27	D. N. Turner. The #-calcuIus: Types, polymorphism and #mplementation. PhD thesis, LFCS, University of Edinburgh, 1995. In preparation.
	28	David Walker, Objects in the &pgr;-calculus, Information and Computation, v.116 n.2, p.253-271, Feb. 1, 1995 [doi>10.1006/inco.1995.1018]

CITED BY 91

	Gérard Boudol, The π-Calculus in Direct Style, Higher-Order and Symbolic Computation, v.11 n.2, p.177-208, September 1998
	Martín Abadi , Cédric Fournet , Georges Gonthier, Authentication primitives and their compilation, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.302-315, January 19-21, 2000, Boston, MA, USA
	Chiara Bodei , Pierpaolo Degano , Riccardo Focardi , Corrado Priami, Primitives for authentication in process algebras, Theoretical Computer Science, v.283 n.2, p.271-304, June 14, 2002
	Asis Unyapoth , Peter Sewell, Nomadic pict: correct communication infrastructure for mobile computation, ACM SIGPLAN Notices, v.36 n.3, p.116-127, March 2001
	Peter Sewell, From rewrite rules to bisimulation congruences, Theoretical Computer Science, v.274 n.1-2, p.183-230, March 6, 2002
	Roberto M. Amadio , Charles Meyssonnier, On decidability of the control reachability problem in the asynchronous π-calculus, Nordic Journal of Computing, v.9 n.2, p.70-101, Summer 2002
	Abhay Vardhan , Gul Agha, Using passive object garbage collection algorithms for garbage collection of active objects, ACM SIGPLAN Notices, v.38 n.2 supplement, February 2003
	Cédric Fournet , Cosimo Laneve, Bisimulations in the join-calculus, Theoretical Computer Science, v.266 n.1-2, p.569-603, 09/06/2001
	Gérard Boudol, The &pgr;-calculus in direct style, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.228-242, January 15-17, 1997, Paris, France
	Matthew Hennessy , James Riely, Resource access control in systems of mobile agents, Information and Computation, v.173 n.1, p.82-120, February 25, 2002
	Robin Milner, Computational flux, ACM SIGPLAN Notices, v.36 n.3, p.220-221, March 2001
	Chiara Nottegar , Corrado Priami , Pierpaolo Degano, Performance Evaluation of Mobile Processes via Abstract Machines, IEEE Transactions on Software Engineering, v.27 n.10, p.867-889, October 2001
	James Riely , Matthew Hennessy, A typed language for distributed mobile processes (extended abstract), Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.378-390, January 19-21, 1998, San Diego, California, United States
	Martin Odersky , Christoph Zenger , Matthias Zenger, Colored local type inference, ACM SIGPLAN Notices, v.36 n.3, p.41-53, March 2001
	Luca Cardelli , Andrew D. Gordon, Mobile ambients, Formal methods for distributed processing: a survey of object-oriented approaches, Cambridge University Press, New York, NY, 2001
	Matthias Zenger , Martin Odersky, Extensible algebraic datatypes with defaults, ACM SIGPLAN Notices, v.36 n.10, October 2001
	Naoki Kobayashi , Benjamin C. Pierce , David N. Turner, Linearity and the pi-calculus, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.5, p.914-947, Sept. 1999
	Jon G. Riecke, Semantics: the description of computational structures, ACM Computing Surveys (CSUR), v.28 n.4es, Dec. 1996
	Michele Boreale , Rocco De Nicola , Rosario Pugliese, Trace and testing equivalence on asynchronous processes, Information and Computation, v.172 n.2, p.139-164, January 29, 2002
	Lorenzo Bettini , Michele Loreti , Rosario Pugliese, Structured nets in KLAIM, Proceedings of the 2000 ACM symposium on Applied computing, p.174-180, March 2000, Como, Italy
	Cosimo Laneve, Inheritance in concurrent objects, Formal methods for distributed processing: a survey of object-oriented approaches, Cambridge University Press, New York, NY, 2001
	Simon Mørk, Distributed implementation of a process-algebra based programming language for embedded systems, Nordic Journal of Computing, v.8 n.1, p.121-158, Spring 2001
	Franz Achermann , Markus Lumpe , Jean-Guy Schneider , Oscar Nierstrasz, PICCOLA---a small composition language, Formal methods for distributed processing: a survey of object-oriented approaches, Cambridge University Press, New York, NY, 2001
	Karol Ostrovsky , K. V. S. Prasad , Walid Taha, Towards a primitive higher order calculus of broadcasting systems, Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.2-13, October 06-08, 2002, Pittsburgh, PA, USA
	Nick Benton , Luca Cardelli , Cédric Fournet, Modern concurrency abstractions for C#, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.5, p.769-804, September 2004
	Marco Carbone , Sergio Maffeis, On the expressive power of polyadic synchronisation in π-calculus, Nordic Journal of Computing, v.10 n.2, p.70-98, Summer 2003
	Peter Sewell, π-calculi, Formal methods for distributed processing: a survey of object-oriented approaches, Cambridge University Press, New York, NY, 2001
	Catuscia Palamidessi, Mobile calculi for distributed programming, Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.74-75, October 06-08, 2002, Pittsburgh, PA, USA
	Giuseppe Milicia , Vladimiro Sassone, The inheritance anomaly: ten years after, Proceedings of the 2004 ACM symposium on Applied computing, March 14-17, 2004, Nicosia, Cyprus
	Atsushi Igarashi , Naoki Kobayashi, A generic type system for the Pi-calculus, Theoretical Computer Science, v.311 n.1-3, p.121-163, 23 January 2004
	Naoki Kobayashi , Benjamin C. Pierce , David N. Turner, Linearity and the pi-calculus, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.358-371, January 21-24, 1996, St. Petersburg Beach, Florida, United States
	Roberto M. Amadio , Gérard Boudol , Cédric Lhoussaine, On message deliverability and non-uniform receptivity, Fundamenta Informaticae, v.53 n.2, p.105-129, November 2002
	G. Castagna , J. Vitek , F. Zappa Nardelli, The Seal Calculus, Information and Computation, v.201 n.1, p.1-54, 25 August 2005
	Denis Caromel , Ludovic Henrio , Bernard Paul Serpette, Asynchronous and deterministic objects, ACM SIGPLAN Notices, v.39 n.1, p.123-134, January 2004
	Roberto M. Amadio , Gérard Boudol , Cédric Lhoussaine, The receptive distributed π-calculus, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.5, p.549-577, September 2003
	Yong-Jian Li , Xin-Xin Liu, Towards a theory of bisimulation for the higher-order process calculi, Journal of Computer Science and Technology, v.19 n.3, p.352-363, May 2004
	Tom Chothia , Dominic Duggan, Abstractions for fault-tolerant global computing, Theoretical Computer Science, v.322 n.3, p.567-613, 6 September 2004
	Jean-Louis Colaço , Alain Girault , Grégoire Hamon , Marc Pouzet, Towards a higher-order synchronous data-flow language, Proceedings of the 4th ACM international conference on Embedded software, September 27-29, 2004, Pisa, Italy
	Luís Lopes , Vasco T. Vasconcelos , Fernando Silva, Fine-Grained Multithreading with Process Calculi, IEEE Transactions on Computers, v.50 n.8, p.852-862, August 2001
	Vincent Danos , Cosimo Laneve, Formal molecular biology, Theoretical Computer Science, v.325 n.1, p.69-110, 28 September 2004
	John Field , Carlos A. Varela, Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments, ACM SIGPLAN Notices, v.40 n.1, p.195-208, January 2005
	Alan Jeffrey , Julian Rathke, A theory of bisimulation for a fragment of concurrent ML with local names, Theoretical Computer Science, v.323 n.1-3, p.1-48, 14 September 2004
	Marisa Llorens , Javier Oliver, Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets, IEEE Transactions on Computers, v.53 n.9, p.1147-1158, September 2004
	Massimo Merro , Josva Kleist , Uwe Nestmann, Mobile objects as mobile processes, Information and Computation, v.177 n.2, p.195-241, 15 September 2002
	M. Lumpe , J.-G. Schneider, A form-based meta-model for software composition, Science of Computer Programming, v.56 n.1-2, p.59-78, April 2005
	Paweł T. Wojciechowski, Isolation-only transactions by typing and versioning, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.70-81, July 11-13, 2005, Lisbon, Portugal
	Dominic Cooney , Marlon Dumas , Paul Roe, A programming language for web service development, Proceedings of the Twenty-eighth Australasian conference on Computer Science, p.143-150, January 01, 2005, Newcastle, Australia
	Silvano Dal Zilio, Mobile processes: a commented bibliography, Modeling and verification of parallel processes, Springer-Verlag New York, Inc., New York, NY, 2001
	Martín Abadi , Bruno Blanchet, Secrecy types for asymmetric communication, Theoretical Computer Science, v.298 n.3, p.387-415, 11 April 2003
	Gruia-Catalin Roman , Jamie Payton, A principled exploration of coordination models, Theoretical Computer Science, v.336 n.2-3, p.367-401, 26 May 2005
	Martín Abadi , Cédric Fournet , Georges Gonthier, Secure implementation of channel abstractions, Information and Computation, v.174 n.1, p.37-83, April 10, 2002
	Robin Milner, Pure bigraphs: structure and dynamics, Information and Computation, v.204 n.1, p.60-122, January 2006
	Alexander Knapp , Stephan Merz , Martin Wirsing , Júlia Zappe, Specification and refinement of mobile systems in MTLA and mobile UML, Theoretical Computer Science, v.351 n.2, p.184-202, 21 February 2006
	James Riely , Matthew Hennessy, Distributed processes and location failures, Theoretical Computer Science, v.266 n.1-2, p.693-735, 09/06/2001
	Emmanuel Beffara , François Maurel, Concurrent nets: a study of prefixing in process calculi, Theoretical Computer Science, v.356 n.3, p.356-373, 30 May 2006
	Damien Pous, Using bisimulation proof techniques for the analysis of distributed abstract machines, Theoretical Computer Science, v.402 n.2-3, p.199-220, August, 2008
	Massimo Merro , Davide Sangiorgi, On asynchrony in name-passing calculi, Mathematical Structures in Computer Science, v.14 n.5, p.715-767, October 2004
	Andrew D. Gordon , Luca Cardelli, Equational properties of mobile ambients, Mathematical Structures in Computer Science, v.13 n.3, p.371-408, June 2003
	Patrick Eugster, Type-based publish/subscribe: Concepts and experiences, ACM Transactions on Programming Languages and Systems (TOPLAS), v.29 n.1, p.6-es, January 2007
	Jean-Louis Colaço , Grégoire Hamon , Marc Pouzet, Mixing signals and modes in synchronous data-flow systems, Proceedings of the 6th ACM & IEEE International conference on Embedded software, October 22-25, 2006, Seoul, Korea
	J. Niehren , J. Schwinghammer , G. Smolka, A concurrent lambda calculus with futures, Theoretical Computer Science, v.364 n.3, p.338-356, 8 November 2006
	Einar Broch Johnsen , Olaf Owe , Ingrid Chieh Yu, Creol: a type-safe object-oriented model for distributed concurrent systems, Theoretical Computer Science, v.365 n.1, p.23-66, 10 November 2006
	Daniele Gorla, Synchrony vs Asynchrony in Communication Primitives, Electronic Notes in Theoretical Computer Science (ENTCS), v.175 n.3, p.87-108, June, 2007
	Iliano Cervesato , Andre Scedrov, Relating State-Based and Process-Based Concurrency through Linear Logic, Electronic Notes in Theoretical Computer Science (ENTCS), 165, p.145-176, November, 2006
	Armelle Merlin , Gaétan Hains, A bulk-synchronous parallel process algebra, Computer Languages, Systems and Structures, v.33 n.3-4, p.111-133, October, 2007
	Eugenio Moggi, Structuring Operational Semantics: Simplification and Computation, Electronic Notes in Theoretical Computer Science (ENTCS), 172, p.479-497, April, 2007
	Tom Murphy, VII, ML grid programming with ConCert, Proceedings of the 2006 workshop on ML, September 16-16, 2006, Portland, Oregon, USA
	Vincent Danos , Jean Krivine, Formal Molecular Biology Done in CCS-R, Electronic Notes in Theoretical Computer Science (ENTCS), v.180 n.3, p.31-49, July, 2007
	Alberto Baragatti , Roberto Bruni , Hernán Melgratti , Ugo Montanari , Giorgio Spagnolo, Prototype Platforms for Distributed Agreements, Electronic Notes in Theoretical Computer Science (ENTCS), v.180 n.2, p.21-40, June, 2007
	Alessandro Lapadula , Rosario Pugliese , Francesco Tiezzi, Service Discovery and Negotiation With COWS, Electronic Notes in Theoretical Computer Science (ENTCS), v.200 n.3, p.133-154, May, 2008
	Tom Chothia , Dominic Duggan, Capability passing processes, Science of Computer Programming, v.66 n.3, p.184-204, May, 2007
	Carlos A. Varela , Paolo Ciancarini , Kenjiro Taura, Worldwide computing: Adaptive middleware and programming technology for dynamic Grid environments, Scientific Programming, v.13 n.4, p.255-263, October 2005
	Matthieu Leclercq , Ali Erdem Ozcan , Vivien Quema , Jean-Bernard Stefani, Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset, Proceedings of the 29th International Conference on Software Engineering, p.209-219, May 20-26, 2007
	Davide Sangiorgi, Termination of processes, Mathematical Structures in Computer Science, v.16 n.1, p.1-39, February 2006
	James J. Leifer , Robin Milner, Transition systems, link graphs and Petri nets, Mathematical Structures in Computer Science, v.16 n.6, p.989-1047, December 2006
	Satnam Singh, Integrating FPGAs in high-performance computing: programming models for parallel systems -- the programmer's perspective, Proceedings of the 2007 ACM/SIGDA 15th international symposium on Field programmable gate arrays, February 18-20, 2007, Monterey, California, USA
	Bogdan Carbunar , Marco Tulio Valente , Jan Vitek, Coordination and mobility in CoreLime, Mathematical Structures in Computer Science, v.14 n.3, p.397-419, June 2004
	Wei Lu , Thilina Gunarathne , Dennis Gannon, Developing a concurrent service orchestration engine in ccr, Proceedings of the 1st international workshop on Multicore software engineering, May 11-11, 2008, Leipzig, Germany
	Giovanna Di Marzo Serugendo , Murhimanya Muhugusa , Christian F. Tschudin, A survey of theories for mobile agents, World Wide Web, v.1 n.3, p.139-153, 1998
	Silvano Dal Zilio , Andrew D. Gordon, Region analysis and a π-calculus with groups, Journal of Functional Programming, v.12 n.3, p.229-292, May 2002
	Joachim Niehren, Uniform confluence in concurrent computation, Journal of Functional Programming, v.10 n.5, p.453-499, September 2000
	Roberto Bruni , Ivan Lanese, Parametric synchronizations in mobile nominal calculi, Theoretical Computer Science, v.402 n.2-3, p.102-119, August, 2008
	Lukasz Ziarek , Suresh Jagannathan , Matthew Fluet , Umut A. Acar, Speculative N-Way barriers, Proceedings of the 4th workshop on Declarative aspects of multicore programming, January 20-20, 2009, Savannah, GA, USA
	Philippa Gardner , Cosimo Laneve , Lucian Wischik, Linear forwarders, Information and Computation, v.205 n.10, p.1526-1550, October, 2007
	Daniel Martin , Daniel Wutke , Frank Leymann, Synchronizing control flow in a tuplespace-based, distributed workflow management system, Proceedings of the 10th international conference on Electronic commerce, August 19-22, 2008, Innsbruck, Austria
	Claudio V. Russo, Join patterns for visual basic, ACM SIGPLAN Notices, v.43 n.10, September 2008
	Louis Mandel , Florence Plateau, Interactive Programming of Reactive Systems, Electronic Notes in Theoretical Computer Science (ENTCS), v.238 n.1, p.21-36, June, 2009
	Denis Caromel , Ludovic Henrio , Bernard Paul Serpette, Asynchronous sequential processes, Information and Computation, v.207 n.4, p.459-495, April, 2009
	Tiago Cogumbreiro , Francisco Martins , Vasco T. Vasconcelos, Compiling the π-calculus into a Multithreaded Typed Assembly Language, Electronic Notes in Theoretical Computer Science (ENTCS), 241, p.57-84, July, 2009
	Giuseppe Castagna , Nils Gesbert , Luca Padovani, A theory of contracts for Web services, ACM Transactions on Programming Languages and Systems (TOPLAS), v.31 n.5, p.1-61, June 2009
	Franz Puntigam, Synchronization as a Special Case of Access Control, Electronic Notes in Theoretical Computer Science (ENTCS), 241, p.113-133, July, 2009