Open Systems Laboratory
Research
People
Publications
Utilities
Research Theme
Application Areas
Complex Systems
Dependable Systems
Multi-Agent Systems
P2P and Web Computing
Sensor Networks and Real-Time Systems
Concurrent and Distributed Systems
Coordination Algorithms
Formal Methods
Programming Languages and Systems
Software Engineering
Software and Data
Actor Systems
Sensor Networks
Software Analysis and Testing Tools
Concurrent and Distributed Systems