Verification tools for multi-core programming

Cited by: 2|Bibtex|Views7|

Abstract:

Abstract Programs that perform dyadic communication usually have no guarantee that their communication is correctly typed. If an incorrectly typed value is transmitted or received, programs may remain oblivious to the problem and exhibit errors or crash. We may,characterise a dyadic communication using a type construction known as a sessi...More

Code:

Data:

Your rating :
0

 

Tags
Comments