Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 1 of 1 for “"tipi di sessione"”.
-
A semantic deconstruction of session types
… semantics — the latter obtained with the addition of unbounded buffers; • a semantic approach to safety, based on a syntax-independent characterisation of deadlock states, orphan messages and unspecified reception configurations; • an I/O compliance relation between generic behaviours, that …