Cargando…

Communicating process architectures 2008 : WoTUG-31 /

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
Autor Corporativo: WoTUG Technical Meeting University of York
Otros Autores: Welch, P. H.
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam ; Washington, D.C. : IOS Press, ©2008.
Colección:Concurrent systems engineering series ; v. 51.
Temas:
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 informat.
Descripción Física:1 online resource (xi, 459 pages) : illustrations.
Bibliografía:Includes bibliographical references and indexes.
ISBN:9781441601575
1441601570
9781607503682
1607503689
661196861X
1281968617
9781281968616
9786611968618
6000011865
9786000011864