Session Types for Object-Oriented Languages-Reference-Cited by-同舟云学术

Session Types for Object-Oriented Languages

Published:2006 Issue: Volume: Page:328-352
ISSN:0302-9743
Container-title:ECOOP 2006 – Object-Oriented Programming
language:
Short-container-title:

Author:

Dezani-Ciancaglini Mariangiola,Mostrous Dimitris,Yoshida Nobuko,Drossopoulou Sophia

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11785477_20.pdf

Reference30 articles.

1. A full version of this paper, http://www.doc.ic.ac.uk/~dm04

2. Personal communication by e-mails between the authors of [6, 7, 13, 15, 18, 20, 26, 27, 29]

3. Conversation with Steve Ross-Talbot. ACM Queue 4(2) (2006)

4. Ahern, A., Yoshida, N.: Formalising Java RMI with Explicit Code Mobility. In: OOPSLA 2005, pp. 403–422. ACM Press, New York (2005)

5. Bierman, G., Parkinson, M., Pitts, A.: MJ: An Imperative Core Calculus for Java and Java with Effects. Technical Report 563, Univ. of Cambridge Computer Laboratory (2003)

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

1. EXPRESSing Session Types;Electronic Proceedings in Theoretical Computer Science;2023-09-14

2. MAG$$\pi $$: Types for Failure-Prone Communication;Programming Languages and Systems;2023

3. Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems;Lecture Notes in Computer Science;2023

4. Multiparty GV: functional multiparty session types with certified deadlock freedom;Proceedings of the ACM on Programming Languages;2022-08-29

5. Connectivity graphs: a method for proving deadlock freedom based on separation logic;Proceedings of the ACM on Programming Languages;2022-01-12