Вы здесь

Abdallah A. E.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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

Редактор: