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
Application Areas