FMOODS   2007 Formal Methods for Open Object-Based Distributed Systems
Wall of Fame | Most Viewed FMOODS-2007 Paper
13 years 8 months ago
Asynchronous Session Types and Progress for Object Oriented Languages
Abstract. A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to gu...
Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuk...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source159
2Download preprint from source158
3Download preprint from source140
4Download preprint from source139
5Download preprint from source136
6Download preprint from source126
7Download preprint from source126
8Download preprint from source119
9Download preprint from source117
10Download preprint from source97
11Download preprint from source96
12Download preprint from source96
13Download preprint from source93
14Download preprint from source70