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...
Saved in:
Superior document: | River Publishers series in automation, control and robotics |
---|---|
TeilnehmendeR: | |
Place / Publishing House: | Delft, The Netherlands : : River Publishers,, [2017] ©2017 |
Year of Publication: | 2017 |
Edition: | 1st ed. |
Language: | English |
Series: | River Publishers series in automation, control and robotics.
|
Physical Description: | 1 online resource (412 pages) :; illustrations (some color). |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Electronic
DOAB Directory of Open Access Books | Available |