FORTE
1993
15 years 27 days ago
1993
In this paper, we propose an incremental construction approach for distributed system specifications. These specifications are structured as a parallel composition of subsystem sp...