5 search results - page 1 / 1 » Global progress for dynamically interleaved multiparty sessi... |
CONCUR
2008
Springer
14 years 19 days ago
2008
Springer
ESOP
2009
Springer
14 years 5 months ago
2009
Springer
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...
FORTE
2011
13 years 2 months ago
2011
We present a new, streamlined language of global types equipped with a trace-based semantics and whose features and restrictions are semantically justified. The multi-party sessio...
POPL
2008
ACM
14 years 11 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
CONCUR
2010
Springer
13 years 12 months ago
2010
Springer
Reliability is a critical issue in many multi-organizational distributed applications, be they web services, financial protocols, scientific computing infrastructure, and software ...