Joaquim Gabarro
Departament de Llenguatges i Sistemes Informítics, Universitat Politècnica de Catalunya, 08034, Barcelona, Spain
Communicating sequential processes
Distributed Algorithms
Protocols and Architectures for Wireless Sensor Networks