Del 0 - River Publishers Series in Automation, Control and Robotics

Behavioural Types: from Theory to Tools

Inbunden, Engelska, 2017

AvSimon Gay,Antonio Ravara,UK) Gay, Simon (University of Glasgow,Portugal) Ravara, Antonio (Universidade Nova de Lisboa,António Ravara

1 479 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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, motivated by the importance of structured communication in modern software.Behavioural Types: from Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, a European research network that was funded from October 2012 to October 2016. As a survey of the most recent developments in the application of behavioural type systems, it is a valuable reference for researchers in the field, as well as an introduction to the area for graduate students and software developers.

Produktinformation

Utgivningsdatum2017-07-31
Mått156 x 234 x 27 mm
Vikt778 g
FormatInbunden
SpråkEngelska
SerieRiver Publishers Series in Automation, Control and Robotics
Antal sidor250
FörlagRiver Publishers
ISBN9788793519824
OriginaltitelEnglish

Tillhör följande kategorier

Preface; 1. Contract-oriented design of distributed applications: a tutorial; 2. Contract-oriented programming with timed session types; 3. A runtime monitoring tool for actor-based systems; 4. How to Verify Your Python Conversations; 5. The DCR Workbench: Declarative Choreographies for Collaborative Processes; 6. A tool for choreography-based analysis of message-passing software; 7. Programming adaptive microservice systems; an AIOCJ tutorial; 8. JaDA - the Java Deadlock Analyzer; 9. Type-Based Analysis of Linear Communications; 10. Session types with linearity in Haskell; 11. An OCaml Implementation of Binary Sessions; 12. Lightweight functional session types; 13. Distributed programming using Java APIs generated from Session Types; 14. Mungo and StMungo: Tools for Typechecking Protocols in Java; 15. Protocol-driven MPI program generation; 16. Protocol Verification of MPI Programs

Du kanske också är intresserad av

Autonomous Vehicles and Systems

Ishwar K. Sethi

Inbunden

1 989 kr

Systems, Cybernetics, Control, and Automation

Spyros G. Tzafestas, Greece) Tzafestas, Spyros G. (National Technical University of Athens

Inbunden

1 439 kr

Industry Automation: The Technologies, Platforms and Use Cases

Pethuru Raj, Abhishek Kumar, Ananth Kumar, Neha Singhal

Inbunden

1 909 kr

Digital Shopfloor: Industrial Automation in the Industry 4.0 Era

John Soldatos, Oscar Lazaro, Franco Cavadini, Greece) Soldatos, John (Athens Information Technology, Spain) Lazaro, Oscar (Innovalia Association, Italy) Cavadini, Franco (Synesis-Consortium

Inbunden

1 609 kr

Recent Developments in Automatic Control Systems

Yuriy P. Kondratenko, Vsevolod M. Kuntsevich, Arkadii A. Chikrii, Vyacheslav F. Gubarev

Inbunden

1 839 kr

Control Systems: Theory and Applications

Vsevolod Kuntsevich, Vyacheslav Gubarev, Yuriy Kondratenko, Dmytro Lebedev, Vitalii Lysenko, Ukraine) Kuntsevich, Vsevolod (Space Research Institute of NAS and NSA of Ukraine, Ukraine) Gubarev, Vyacheslav (Space Research Institute of NAS and NSA of Ukraine, Ukraine) Kondratenko, Yuriy (Petro Mohyla Black Sea National University, Dmytro (National Academy of Sciences and Ministry of Education and Sciences of Ukraine) Lebedev, Ukraine) Lysenko, Vitalii (National University of Life and Environmental Sciences

Inbunden

1 609 kr