Behavioural Types From Theory to Tools

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

Saved in:

Bibliographic Details
Main Authors:	Gay, Simon, Ravara, António
Format:	eBook
Language:	English
Published:	United Kingdom River Publishers 2017 Routledge Taylor & Francis
Edition:	1
Series:	River Publishers series in automation, control and robotics
Subjects:	Classical mechanics Computer programming Computer programming / software engineering Computer programming, programs, data Computers Computing and Information Technology Energy INFORMATIONSCIENCEnetBASE ITECHnetBASE Mathematics and Science Physics Programming & Programming Languages Programming languages (Electronic computers) SCI-TECHnetBASE Science Software Development & Engineering Software Engineering & Systems Development STMnetBASE Monitor Implementation TCP Deadlock Freedom Process Calculus MPI OTP Vice Versa The Core Language Linear Channels Session Types Scribble Specification Adaptation Rule Recursive Types Source Protocol API Generation Diogenes Singleton Type Receive Operations Local Protocol Contracts Contract-Oriented Design Visualisation and Simulation Architecture MPI Program Type Environment Global Protocol Global Graph Lock Freedom Monitor Compilation Runtime Verification BPMN Atm Service Row Types Monitoring Requirements
ISBN:	1000799255, 9781000799255, 9788793519824, 8793519826, 9781003337331, 1003337333, 1000799395, 9781000799392
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!