Communicating process architectures 2008 : WoTUG-31 ; proceedings of the 31st WoTUG technical meeting, 7-10 September 2008, University of York, York, UK /

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 as...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Welch, P. H. (Autor, Editor ), Barnes, Frederick R. M. (Autor, Editor ), Sampson, Adam T. (Autor, Editor )
Autor Corporativo: WoTUG Technical Meeting University of York
Otros Autores: Stepney, Susan (Editor ), Polack, Fiona A. C. (Editor ), McEwan, Alistair A. (Editor ), Stiles, Gardiner S. (Editor ), Broenink, Jan F. (Editor )
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam : IOS Press, [2008]
Temas:
Computer architecture > Congresses.
occam (Computer program language) > Congresses.
Parallel processing (Electronic computers) > Congresses.
Transputers > Congresses.
Ordinateurs > Architecture > Congrès.
Occam (Langage de programmation) > Congrès.
Parallélisme (Informatique) > Congrès.
Transputers > Congrès.
Computer architecture
occam (Computer program language)
Parallel processing (Electronic computers)
Transputers
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Acceso en línea:Texto completo
Descripción
Sumario: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.
Descripción Física:1 online resource (xi, 459 pages) : illustrations
Bibliografía:Includes bibliographical references at chapter ends, and indexes.
ISBN:9781597343190
1597343196
9781607503682
1607503689

Ejemplares similares