Loading…
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...
| Call Number: | Libro Electrónico |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | Electronic Conference Proceeding eBook |
| Language: | Inglés |
| Published: |
Amsterdam ; Washington, D.C. :
IOS Press,
©2008.
|
| Series: | Concurrent systems engineering series ;
v. 51. |
| Subjects: | |
| Online Access: | Texto completo |
| Summary: | 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. |
|---|---|
| Physical Description: | 1 online resource (xi, 459 pages) : illustrations. |
| Bibliography: | Includes bibliographical references and indexes. |
| ISBN: | 9781441601575 1441601570 9781607503682 1607503689 661196861X 1281968617 9781281968616 9786611968618 6000011865 9786000011864 |