703 search results - page 1 / 141 » Fundamentals of Session Types |
SFM
2009
Springer
13 years 11 months ago
2009
Springer
COORDINATION
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...
ENTCS
2007
13 years 4 months ago
2007
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
POPL
2008
ACM
14 years 5 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...
ICC
2007
IEEE
13 years 11 months ago
2007
IEEE
—Evolutionary development towards all-IP networks will have various kinds of devices connected to the Internet. In such the ubiquitous networking environment with the features of...