Session Types for Functional Multithreading-Reference-Cited by-同舟云学术

Session Types for Functional Multithreading

Published:2004 Issue: Volume: Page:497-511
ISSN:0302-9743
Container-title:CONCUR 2004 - Concurrency Theory
language:
Short-container-title:

Author:

Vasconcelos Vasco,Ravara António,Gay Simon

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-28644-8_32

Reference20 articles.

1. Chaki, S., Rajamani, S.K., Rehof, J.: Types as models: model checking message-passing programs. In: POPL, pp. 45–57. ACM Press, New York (2002)

2. DeLine, R., Fähndrich, M.: Enforcing high-level protocols in low-level software. In: PLDI, pp. 59–69. ACM Press, New York (2001)

3. Foster, J.S., Terauchi, T., Aiken, A.: Flow-Sensitive Type Qualifiers. In: PLDI, Berlin, Germany, June 2002, pp. 1–12 (2002)

4. Gay, S.J., Vasconcelos, V.T., Ravara, A.: Session types for inter-process communication. TR 2003–133, Department of Computing Science, University of Glasgow (March 2003)

5. Lecture Notes in Computer Science;S.J. Gay,1999

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

1. Memory access protocols: certified data-race freedom for GPU kernels;Formal Methods in System Design;2023-05-26

2. Prioritise the Best Variation;Formal Techniques for Distributed Objects, Components, and Systems;2021

3. Checking Data-Race Freedom of GPU Kernels, Compositionally;Computer Aided Verification;2021

4. Relating Functional and Imperative Session Types;Lecture Notes in Computer Science;2021

5. Parameterized Dataflow (Extended Abstract);Electronic Proceedings in Theoretical Computer Science;2016-10-25