|
СТ |
A Dense-Time Temporal Logic with Nice Compositionality Properties |
1997 |
Cau A., De Roever W. -P. |
|
|
|
Lecture Notes in Computer Science |
10.12.1997 |
|
СТ |
Parallel Composition of Assumption-Commitment Specifications. A Unifying Approach for Shared Variable and Distributed Message Passing Concurrency |
1996 |
Cau A., Collette P. |
|
|
|
Acta Informatica |
04.04.1996 |
|
СТ |
On Unifying Assumption-Commitment Style Proof Rules for Concurrency |
1994 |
Xu Q., Cau A., Collette P. |
|
|
|
Lecture Notes in Computer Science |
26.08.1994 |
|
СТ |
Using Relative Refinement for Fault Tolerance |
1993 |
Cau A., De Roever W. -P. |
|
|
|
Lecture Notes in Computer Science |
27.05.1993 |
