Asynchronous sequential processes-Reference-Cited by-同舟云学术

Asynchronous sequential processes

Published:2009-04 Issue:4 Volume:207 Page:459-495
ISSN:0890-5401
Container-title:Information and Computation
language:en
Short-container-title:Information and Computation

Author:

Caromel Denis,Henrio Ludovic,Serpette Bernard Paul

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science

Reference49 articles.

1. Cliff B. Jones, An object-based design method for concurrent programs, Technical Report, University of Manchester, 1992.

2. Uwe Nestmann, Martin Steffen, Typing confluence, in: Stefania Gnesi, Diego Latella (Eds.), FMICS ’97: Second International ERCIM Workshop on Formal Methods in Industrial-Critical Systems, pp. 77–101. Consiglio Nazionale Ricerche di Pisa, Italy, July 1997. Also available as report ERCIM-10/97-R052, European Research Consortium for Informatics and Mathematics, 1997.

3. Linearity and the pi-calculus;Kobayashi,1996

4. Guy L. Steele Jr., Making asynchronous parallelism safe for the world, in: POPL’90, Proceedings of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, January 17–19, 1990, San Francisco, CA, ACM Press, New York, 1990, pp. 218–231.

5. Gilles Kahn, The semantics of a simple language for parallel programming, in: J.L. Rosenfeld (Ed.), Information Processing ’74: Proceedings of the IFIP Congress, North-Holland, New York, 1974.

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Dala: a simple capability-based dynamic language design for data race-freedom;Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2021-10-17

2. Translating active objects into colored Petri nets for communication analysis;Science of Computer Programming;2019-07

3. Forward to a Promising Future;Lecture Notes in Computer Science;2018

4. Order types: static reasoning about message races in asynchronous message passing concurrency;Proceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control;2017-10-23

5. Exogenous coordination of concurrent software components with JavaBIP;Software: Practice and Experience;2017-04-03