СТ |
Derivation of Parallel Algorithms from Functional Specifications to CSP Processes |
1995 |
Abdallah A. E. |
|
|
|
Lecture Notes in Computer Science |
30.03.2002 |
СТ |
An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms |
2000 |
Abdallah A. E., Green M. |
|
|
|
Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000 |
26.12.2000 |
СТ |
A Graphical Tool for the Visualization and Animation of Communicating Sequential Process |
1998 |
Abdallah A. E. |
|
|
|
Lecture Notes in Computer Science |
17.10.1998 |