|
СТ |
A Pattern Language for Parallel Application Programs |
2000 |
Massingill B. L., Mattson T. G., Sanders B. A. |
|
|
|
Lecture Notes in Computer Science |
17.11.2000 |
|
СТ |
Data Refinement of Mixed Specifications. A Generalization of UNITY |
1998 |
Sanders B. A. |
|
|
|
Acta Informatica |
18.03.1998 |
|
СТ |
Adding Concurrency to the Oberon System |
1994 |
Lalis S., Sanders B. A. |
|
|
|
Lecture Notes in Computer Science |
31.03.1994 |
|
П |
Conjunctive Predicate Transformers for Reasoning about Concurrent Computation |
1993 |
Chandy K. M., Sanders B. A. |
|
|
ETH |
|
29.10.1993 |
