Concurrent Programming Research Laboratory
The goal of the Concurrent Programming Research Laboratory (CONCUR) is to investigate new methods for the specification and design of concurrent/distributed systems with adaptive or reflective behavior. Current research projects include:
- A graphical framework for developing adaptable client/server applications.
- A meta object protocol (MOP) for reflective systems.
- The applicability of formal methods, verification, and refinement techniques to complex distributed systems.