|
СТ |
Secification Transformers: A Predicate Transformer Approach to Composition |
2004 |
Charpentier M., Chandy K. M. |
|
|
|
Acta Informatica |
19.03.2004 |
|
СТ |
An Approach to Composition Motivated by wp |
2002 |
Charpentier M. |
|
|
|
Lecture Notes in Computer Science |
15.05.2002 |
|
СТ |
Towards a Compositional Approach to the Design and Verification of Distributed Systems |
1999 |
Charpentier M., Chandy K. M. |
|
|
|
Lecture Notes in Computer Science |
30.10.1999 |
|
СТ |
Tailoring UNITY to Distributed Program Design |
1998 |
Charpentier M., Filali M., Mauran P., Padiou G., Queinnec P. |
|
|
|
Lecture Notes in Computer Science |
14.05.1998 |
