Because of the special efficiency constraints and the timing-related pitfalls associated with producing correct parallel, distributed, and real-time software, the specification, design, and verification of such software are far more complex than is the case with sequential, centralized software. These issues will be addressed with the ultimate goal of designing and prototyping software environments for web-based collaboration.