Close Menu

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.

Faculty contact: Dr. Tzilla Elrad