138 search results - page 20 / 28 » An Operational Semantics for Shared Messaging Communication |
CONCUR
2004
Springer
14 years 23 days ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
FM
2003
Springer
14 years 17 days ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
SIGOPS
2008
13 years 7 months ago
2008
Virtual private servers and application checkpoint and restart are two advanced operating system features which place different but related requirements on the way kernel-provided...
CIDR
2007
13 years 8 months ago
2007
Event processing will play an increasingly important role in constructing enterprise applications that can immediately react to business critical events. Various technologies have...
AINA
2006
IEEE
14 years 1 months ago
2006
IEEE
With the huge number of information sources available on the Internet, Peer-to-Peer (P2P) systems offer a novel kind of system architecture providing the large-scale community wit...