7 search results - page 1 / 2 » Sessions and Pipelines for Structured Service Programming |
FMOODS
2008
13 years 6 months ago
2008
ESOP
2007
Springer
13 years 11 months ago
2007
Springer
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal cal...
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. ...
FOSSACS
2010
Springer
13 years 11 months ago
2010
Springer
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
ANCS
2007
ACM
13 years 9 months ago
2007
ACM
Session Initiation Protocol (SIP) has begun to be widely deployed for multiple services such as VoIP, Instant Messaging and Presence. Each of these services uses different SIP mes...