[OSL@UIUC]

Open Systems Laboratory

Department of Computer Science, University of Illinois at Urbana-Champaign
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 

Actor semantics