11 search results - page 2 / 3 » Multiparty Session Types Meet Communicating Automata |
FSTTCS
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. This paper proposes a global escape mechanism which can handle unexpected or unwanted conditions changing the default execution of distributed communicational flows, pres...
CONCUR
2010
Springer
13 years 6 months ago
2010
Springer
We consider a calculus for multiparty sessions with delegation, enriched with security levels for session participants and data. We propose a type system that guarantees both sessi...
IVS
2006
13 years 4 months ago
2006
In this paper, we discuss the efforts underway at the Pacific Northwest National Laboratory in understanding the dynamics of multi-party discourse across a number of communication...
PERCOM
2005
ACM
14 years 4 months ago
2005
ACM
Pervasive computing applications must be engineered to provide unprecedented levels of flexibility in order to reconfigure and adapt in response to changes in computing resources ...
ICDCS
1993
IEEE
13 years 9 months ago
1993
IEEE
A network subsystem supporting a continuous media file system must guarantee a minimum throughput, a maximum delay, and a maximum jitter. We present a transport protocol that pro...