9781000799255.pdf
Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, mot...
| Language: | English |
|---|---|
| Published: |
Taylor & Francis
2022
|
