Type Systems for Distributed Programs: Components and Sessions
Modern software systems, in particular distributed ones, are everywhere around us and are at the basis of our everyday activities. Hence, guaranteeing their correctness, consistency and safety is of paramount importance. Their complexity makes the verification of such properties a very challenging t...
| Main Author: | |
|---|---|
| Language: | English |
| Published: |
2014
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-01020998 http://tel.archives-ouvertes.fr/docs/01/02/09/98/PDF/big_main.pdf |