7 search results - page 1 / 2 » Sessions and Pipelines for Structured Service Programming |
FMOODS
2008
14 years 9 days ago
2008
ESOP
2007
Springer
14 years 5 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 10 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
14 years 5 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
14 years 2 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...