The Space and Motion of Communicating Agents

The Space and Motion of Communicating Agents
Author :
Publisher : Cambridge University Press
Total Pages : 215
Release :
ISBN-10 : 9780521490306
ISBN-13 : 0521490308
Rating : 4/5 (308 Downloads)

Book Synopsis The Space and Motion of Communicating Agents by : Robin Milner

Download or read book The Space and Motion of Communicating Agents written by Robin Milner and published by Cambridge University Press. This book was released on 2009-03-19 with total page 215 pages. Available in PDF, EPUB and Kindle. Book excerpt: Robin Milner presents a unified structural theory for modelling networks of agents that is destined to have far-reaching significance.


The Space and Motion of Communicating Agents Related Books

The Space and Motion of Communicating Agents
Language: en
Pages: 215
Authors: Robin Milner
Categories: Computers
Type: BOOK - Published: 2009-03-19 - Publisher: Cambridge University Press

GET EBOOK

Robin Milner presents a unified structural theory for modelling networks of agents that is destined to have far-reaching significance.
The Space and Motion of Communicating Agents
Language: en
Pages: 215
Authors: Robin Milner
Categories: Computers
Type: BOOK - Published: 2009 - Publisher:

GET EBOOK

Robin Milner presents a unified structural theory for modelling networks of agents that is destined to have far-reaching significance.
The Space and Motion of Communicating Agents
Language: en
Pages: 193
Authors: Robin Milner
Categories: Computers
Type: BOOK - Published: 2009-03-19 - Publisher: Cambridge University Press

GET EBOOK

The world is increasingly populated with interactive agents distributed in space, real or abstract. These agents can be artificial, as in computing systems that
NASA Formal Methods
Language: en
Pages: 508
Authors: Kristin Yvonne Rozier
Categories: Computers
Type: BOOK - Published: 2023-06-02 - Publisher: Springer Nature

GET EBOOK

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023.
Software Engineering and Formal Methods
Language: en
Pages: 524
Authors: Radu Calinescu
Categories: Computers
Type: BOOK - Published: 2021-12-02 - Publisher: Springer Nature

GET EBOOK

This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual eve