The Concurrency Factory: A Development Environment for Concurrent Systems.

Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky

Browse the full CAV paper archive.