Analysis of Asynchronous Programs with Event-Based Synchronization-Reference-Cited by-同舟云学术

Analysis of Asynchronous Programs with Event-Based Synchronization

Published:2015 Issue: Volume: Page:535-559
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Emmi Michael,Ganty Pierre,Majumdar Rupak,Rosa-Velardo Fernando

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-46669-8_22

Reference28 articles.

1. Adya, A., Howell, J., Theimer, M., Bolosky, W.J., Douceur, J.R.: Cooperative task management without manual stack management. In: USENIX ATC, pp. 289–302. USENIX (2002)

2. Lecture Notes in Computer Science;K. Sen,2006

3. Ganty, P., Majumdar, R.: Algorithmic verification of asynchronous programs. ACM Trans. Program. Lang. Syst. 34(1), 6 (2012)

4. Mathewson, N., Provos, N.: libevent: an event notification library, http://libevent.org

5. The GCD team: libdispatch, https://libdispatch.macosforge.org

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

1. Data Partitioning and Asynchronous Processing to Improve the Embedded Software Performance on Multicore Processors;Informatics and Automation;2022-02-17

2. Event-Based Concurrency: Applications, Abstractions, and Analyses;Advances in Computers;2019

3. Ordinal recursive complexity of Unordered Data Nets;Information and Computation;2017-06

4. An Abstract Machine for Asynchronous Programs with Closures and Priority Queues;Lecture Notes in Computer Science;2017

5. Finding Divergent Executions in Asynchronous Programs;Computational Science and Its Applications – ICCSA 2016;2016