Repository logo
  • Log In
    Log in via Symplectic to deposit your publication(s).
Repository logo
  • About
  • Communities & Collections
  • Advanced Search
  • Statistics
  • Log In
    Log in via Symplectic to deposit your publication(s).
  1. Home
  2. Faculty of Engineering
  3. Computing
  4. Computing
  5. Softly safely spoken: Role playing for Session Types
 
  • Details
Softly safely spoken: Role playing for Session Types
File(s)
roles.pdf (141.65 KB)
Accepted version
Author(s)
Giachino, E
Sackman, M
Drossopoulou, S
Eisenbach, S
Type
Conference Paper
Abstract
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
Date Issued
2009-03
Citation
2009
URI
http://hdl.handle.net/10044/1/5975
URL
http://places09.di.fc.ul.pt/
Source Title
Places'09
Copyright Statement
© The Authors
License URL
http://www.rioxx.net/licenses/all-rights-reserved
Source
Places'09
Source Place
York, UK
Start Date
2009-03-22
Finish Date
2009-03-22
Coverage Spatial
York, UK
About
Spiral Depositing with Spiral Publishing with Spiral Symplectic
Contact us
Open access team Report an issue
Other Services
Scholarly Communications Library Services
logo

Imperial College London

South Kensington Campus

London SW7 2AZ, UK

tel: +44 (0)20 7589 5111

Accessibility Modern slavery statement Cookie Policy

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science

  • Cookie settings
  • Privacy policy
  • End User Agreement
  • Send Feedback