... wait sets. Since the observable behaviour includes all accesses to shared memory, method calls and synchronisation, we obtain a bisimulation for the ...
確定! 回上一頁