Browsing School of Computer Science and Informatics by Subject "National Fund for Scientific Research Belgium"

Now showing items 1-1 of 1

Parallel composition of assumption-commitment specifications: a unifying approach for shared variable and distributed message passing concurrency

Cau, A. (Antonio); Collette, Pierre (Article)

We unify the parallel composition rule of assumption-commitment specifications for respectively state-based and message-based concurrent processes. Without providing language-dependent definitions, we first assume that the ...