2016 (v1)
Publication
No description
Uploaded on: April 14, 2023
-
-
June 2016 (v1)Journal article
Behavioural type systems, usually associated to concurrent or distributed computations, encompass concepts such as interfaces, communication protocols, and contracts, in addition to the traditional input/output operations. The behavioural type of a software component specifies its expected patterns of interaction using expressive type...
Uploaded on: March 25, 2023