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

Asynchronous Session Types and Progress for Object Oriented Languages

Published:2007 Issue: Volume: Page:1-31
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Coppo Mario,Dezani-Ciancaglini Mariangiola,Yoshida Nobuko

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-72952-5_1

Reference29 articles.

1. 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)

2. Bonelli, E., Compagnoni, A., Gunter, E.: Assertions for Process Synchronization in Concurrent Communications. Journal of Functional Programming 15(2), 219–248 (2005)

3. Carbone, M., Honda, K., Yoshida, N.: A Theoretical Basis of Communication-centered Concurrent Programming. Web Services Choreography Working Group mailing list, to appear as a WS-CDL working report

4. Lecture Notes in Computer Science;M. Carbone,2007

5. Dezani-Ciancaglini, M., Drossopoulou, S., Giachino, E., Yoshida, N.: Bounded Session Types for Object-Oriented Languages (2007), http://www.di.unito.it/~dezani/papers/ddgy.pdf

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

1. A New Linear Logic for Deadlock-Free Session-Typed Processes;Lecture Notes in Computer Science;2018

2. Reversing Single Sessions;Reversible Computation;2016

3. An extensible approach to session polymorphism;Mathematical Structures in Computer Science;2015-02-23

4. Compliance in Behavioural Contracts: A Brief Survey;Programming Languages with Applications to Biology and Security;2015

5. A Gentle Introduction to Multiparty Asynchronous Session Types;Lecture Notes in Computer Science;2015