2016 (v1)
Publication
No description
Uploaded on: April 14, 2023
-
-
July 21, 2016 (v1)Journal article
A recent trend in programming language research is to use behavioral type theory to ensure various correctness properties of largescale, communication-intensive systems. Behavioral types encompass concepts such as interfaces, communication protocols, contracts, and choreography. The successful application of behavioral types requires a solid...
Uploaded on: February 28, 2023