7 search results - page 1 / 2 » tacs 1997 |
127
Voted
TACS
1997
Springer
15 years 10 months ago
1997
Springer
113
Voted
TACS
1997
Springer
15 years 10 months ago
1997
Springer
114
Voted
TACS
1997
Springer
15 years 10 months ago
1997
Springer
156
click to vote
TACS
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
134
Voted
TACS
1997
Springer
15 years 10 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...