DIFS

Modelování komponentově orientovaných systémů

Komponentový model s podporou mobilních architektur a formálním popisem

Formální sémantika komponentově orientovaných systémů

A Framework for Systems of Asynchronous Concurrent Processes