16-III-2006

PhD thesis.pdf
"Designing dependable process-oriented software, a CSP-based approach"

In main roles:

Mr. Dusko Promovendus




 

Mr. Marcel Paranimfa

 

Mr. Gerben Paranimfa

 


Jury

 

Grand Jury

 

 

Technics
Photographer
Cameraman
Microphonist
Smart Equipment

Software

 

Chorus

 

Process
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

31-III-2006