7 search results - page 1 / 2 » tacs 1997 |
TACS
1997
Springer
13 years 9 months ago
1997
Springer
TACS
1997
Springer
13 years 9 months ago
1997
Springer
TACS
1997
Springer
13 years 9 months ago
1997
Springer
TACS
1997
Springer
13 years 8 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...
TACS
1997
Springer
13 years 9 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...