
Communicating Process Architectures 2008.
Title:
Communicating Process Architectures 2008.
Author:
Welch, P.H.
ISBN:
9781607503682
Personal Author:
Physical Description:
1 online resource (472 pages)
Contents:
Pages:1 to 25 -- Pages:26 to 50 -- Pages:51 to 75 -- Pages:76 to 100 -- Pages:101 to 125 -- Pages:126 to 150 -- Pages:151 to 175 -- Pages:176 to 200 -- Pages:201 to 225 -- Pages:226 to 250 -- Pages:251 to 275 -- Pages:276 to 300 -- Pages:301 to 325 -- Pages:326 to 350 -- Pages:351 to 375 -- Pages:376 to 400 -- Pages:401 to 425 -- Pages:426 to 450 -- Pages:451 to 472.
Abstract:
Communicating Process Architectures 2008 contains the proceedings of the thirty-first Communicating Process Architectures Conference (CPA 2008) organized under the auspices of WoTUG and the Department of Computer Science of the University of York. The aim of this book is to cover both theoretical aspects and industrial applications of Communicating Processes. Two invited speakers have given excellent contributions to this topic. Professor Samson Abramsky has worked in the areas of semantics and logic of computation, and concurrency. His work on game semantics considers interaction and information flow between multiple agents and their environment. This has yielded new approaches to compositional model-checking and to analysis for programs with state, concurrency, probability and other features. Professor Colin O'Halloran has been instrumental in the uptake of formal methods in the development and verification of high assurance systems on an industrial scale. His research interests are in automating the use of formal methods, and using these techniques at reasonable cost and on an industrial scale.
Local Note:
Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2017. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
Genre:
Electronic Access:
Click to View