Communicating Process Architectures 2008; WoTUG-31 - Volume 66 Concurrent Systems Engineering Series
ISBN-13:
9781586039073
ISBN-10:
1586039075
Author:
P.H. Welch, S. Stepney, F.A.C. Polack, F.R.M. Barnes, A.A. McEwan, G.S. Stiles, J.F. Broenink, A.T. Sampson
Publication date:
2008
Publisher:
IOS Press
Format:
Paperback
472 pages
Category:
Networking & Cloud Computing
FREE US shipping
Book details
ISBN-13:
9781586039073
ISBN-10:
1586039075
Author:
P.H. Welch, S. Stepney, F.A.C. Polack, F.R.M. Barnes, A.A. McEwan, G.S. Stiles, J.F. Broenink, A.T. Sampson
Publication date:
2008
Publisher:
IOS Press
Format:
Paperback
472 pages
Category:
Networking & Cloud Computing
Summary
Communicating Process Architectures 2008; WoTUG-31 - Volume 66 Concurrent Systems Engineering Series (ISBN-13: 9781586039073 and ISBN-10: 1586039075), written by authors
P.H. Welch, S. Stepney, F.A.C. Polack, F.R.M. Barnes, A.A. McEwan, G.S. Stiles, J.F. Broenink, A.T. Sampson, was published by IOS Press in 2008.
With an overall rating of 4.2 stars, it's a notable title among other
Networking & Cloud Computing
books. You can easily purchase or rent Communicating Process Architectures 2008; WoTUG-31 - Volume 66 Concurrent Systems Engineering Series (Paperback) from BooksRun,
along with many other new and used
Networking & Cloud Computing
books
and textbooks.
And, if you're looking to sell your copy, our current buyback offer is $0.3.
Description
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.IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields. Some of the areas we publish in: -Biomedicine -Oncology -Artificial intelligence -Databases and information systems -Maritime engineering -Nanotechnology -Geoengineering -All aspects of physics -E-governance -E-commerce -The knowledge economy -Urban studies -Arms control -Understanding and responding to terrorism -Medical informatics -Computer Sciences
We would LOVE it if you could help us and other readers by reviewing the book
Book review
Congratulations! We have received your book review.
{user}
{createdAt}
by {truncated_author}