BibTex format
@inproceedings{Giachino:2009,
author = {Giachino, E and Sackman, M and Drossopoulou, S and Eisenbach, S},
title = {Softly safely spoken: Role playing for Session Types},
url = {http://hdl.handle.net/10044/1/5975},
year = {2009}
}
Publications
Citation
RIS format (EndNote, RefMan)
TY - CPAPER
AB - Session types have made much progress at permitting programs be statically verified concordant with a specified protocol. However, it is difficult to build abstractions of, or encapsulate Session types, thus limiting their flexibility. Global session types add further constraints to communication, by permitting the order of exchanges amongst many participants to be specified. The cost is that the number of participants is statically fixed. \r\n\r\nWe introduce Roles in which, similarly to global session types, the number of roles and the conversations involving roles are statically known, but participants can dynamically join and leave roles and the number of participants within a role is not statically known. Statically defined roles which conform to a specified conversation can be dynamically instantiated, participants can be members of multiple roles simultaneously and can participate in multiple conversations concurrently. \r\n\r\n
AU - Giachino,E
AU - Sackman,M
AU - Drossopoulou,S
AU - Eisenbach,S
PY - 2009///
TI - Softly safely spoken: Role playing for Session Types
UR - http://hdl.handle.net/10044/1/5975
ER -