1 search results - page 1 / 1 » forte 1993 |
89
Voted
FORTE
1993
14 years 11 months 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...