- Verification of Peer-to-peer Algorithms: A Case Study
Rana Bakhshi, Dilian Gurov
- An Orchestrator for Dynamic Interconnection of Software Components
Marco Antonio Barbosa, Luís Soares Barbosa
- Implementing a distributed mobile calculus using the IMC framework
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Michele Loreti
- Architecture Interoperability Checking of Visual Coordination Networks
David Safranek
- Local and Global Coordination in PAGODA: A Case Study
Carolyn Talcott
|