4305 search results - page 568 / 861 » Analysing Protocol Implementations |
170
Voted
TPHOL
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
133
click to vote
PODC
1998
ACM
15 years 9 months ago
1998
ACM
: We present a new model for handling messages and state in a distributed application that we call Messages in Local Transactions (MLT). Under this model, messages and data are not...
138
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Seses provide high-level abstraction for stru...
126
click to vote
SOSP
1997
ACM
15 years 6 months ago
1997
ACM
Implementing new operating systems is tedious, costly, and often impractical except for large projects. The Flux OSKit addresses this problem in a novel way by providing clean, we...
123
click to vote
DC
2008
15 years 4 months ago
2008
This paper introduces solo-valency, a variation on the valency proof technique originated by Fischer, Lynch, and Paterson. The new technique focuses on critical events that influe...