Modular session types for distributed object-oriented programming

Research output: Contribution to journal › Article › peer-review

Access to Document

@article{f7a29ebabdeb40dd8dd2c799dc3078ef,

title = "Modular session types for distributed object-oriented programming",

keywords = "typestates, session types, non-uniform method availability, object-oriented calculus",

author = "Ravara, {Ant{\'o}nio Maria Lobo C{\'e}sar Alarc{\~a}o}",

year = "2010",

month = jan,

day = "1",

doi = "10.1145/1707801.1706335",

language = "Unknown",

volume = "45",

pages = "299----312",

journal = "Acm Sigplan Notices",

issn = "0362-1340",

publisher = "ACM - Association for Computing Machinery",

number = "NA",

}

TY - JOUR

T1 - Modular session types for distributed object-oriented programming

AU - Ravara, António Maria Lobo César Alarcão

PY - 2010/1/1

Y1 - 2010/1/1

KW - typestates

KW - session types

KW - non-uniform method availability

KW - object-oriented calculus

U2 - 10.1145/1707801.1706335

DO - 10.1145/1707801.1706335

M3 - Article

SN - 0362-1340

VL - 45

SP - 299

EP - 312

JO - Acm Sigplan Notices

JF - Acm Sigplan Notices

IS - NA

ER -