Bestow and atomic: Concurrent programming using isolation, delegation and grouping-Reference-Cited by-同舟云学术

Bestow and atomic: Concurrent programming using isolation, delegation and grouping

Published:2018-11 Issue: Volume:100 Page:130-151
ISSN:2352-2208
Container-title:Journal of Logical and Algebraic Methods in Programming
language:en
Short-container-title:Journal of Logical and Algebraic Methods in Programming

Author:

Castegren Elias,Wallin Joel,Wrigstad Tobias^ORCID

Funder

FP7

Swedish Research Council

Publisher

Elsevier BV

Subject

Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic

Reference41 articles.

1. Session 8 formalisms for artificial intelligence a universal modular actor formalism for artificial intelligence;Hewitt,1973

2. Laws for communicating parallel processes;Baker,1977

3. The Art of Multiprocessor Programming;Herlihy,2008

4. Transactional memory: architectural support for lock-free data structures;Herlihy,1993

5. Reference capabilities for concurrency control;Castegren,2016

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

1. Encore: Coda;Lecture Notes in Computer Science;2024

2. 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

3. Special issue on the tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software;Journal of Logical and Algebraic Methods in Programming;2019-08

4. Attached and detached closures in actors;Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control;2018-11-05