Behavioural types : from theory to tools / editors, Simon Gay (University of Glasgow, UK), António Ravara (Universidade Nova de Lisboa, Portugal).

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...

Full description

Bibliographic Details

Online Access:	Full Text (via Taylor & Francis)
Other Authors:	Gay, Simon, 1969- (Editor), Ravara, António (Editor)
Format:	eBook
Language:	English
Published:	Gistrup, Denmark : River Publishers, [2017]
Series:	River Publishers series in automation, control and robotics.
Subjects:	Programming languages (Electronic computers) Type theory.