Formal Analysis of Message Passing-Reference-Cited by-同舟云学术

Formal Analysis of Message Passing

Published:2011 Issue: Volume: Page:2-18
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Siegel Stephen F.,Gopalakrishnan Ganesh

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-18275-4_2

Reference53 articles.

1. Armstrong, J.: Programming in Erlang: Software for a Concurrent World. Pragmatic Bookshelf (July 2007)

2. Asanovic, K., Bodik, R., Demmel, J., Keaveny, T., Keutzer, K., Kubiatowicz, J., Morgan, N., Patterson, D., Sen, K., Wawrzynek, J., Wessel, D., Yelick, K.: A view of the parallel computing landscape. Comm. ACM 52(10), 56–67 (2009)

3. Atzeni, S.: ISP takes Steve’s midterm exam, http://www.cs.utah.edu/~simone/Steve_Midterm_Exam/

4. Lecture Notes in Computer Science;C. Barrett,2007

5. Bronevetsky, G.: Communication-sensitive static dataflow for parallel message passing applications. In: Proceedings of The Seventh International Symposium on Code Generation and Optimization, pp. 1–12. IEEE Computer Society, Los Alamitos (2009)

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

1. Petri Net Parallel Computing Theory and Applications;Lecture Notes in Networks and Systems;2023

2. A Type Discipline for Message Passing Parallel Programs;ACM Transactions on Programming Languages and Systems;2022-12-21

3. Petri Nets for Concurrent Programming;2022 IEEE/ACM Fifth Annual Workshop on Emerging Parallel and Distributed Runtime Systems and Middleware (IPDRM);2022-11

4. Compositional Verification of Smart Contracts Through Communication Abstraction;Static Analysis;2021

5. Verifying safety and accuracy of approximate parallel programs via canonical sequentialization;Proceedings of the ACM on Programming Languages;2019-10-10