Now showing items 1-2 of 2
Using ITL and Tempura for large scale specification and simulation.
ITL and Tempura are used for respectively the formal specification and simulation of a large scale system, namely the general purpose multi-threaded dataflow processor EP/3. This paper shows that this processor can be ...
Parallel composition of assumption-commitment specifications: a unifying approach for shared variable and distributed message passing concurrency
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 ...