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