140 followers
A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP: Oliveira, Marcel Vi... https://t.co/pCmfu60tZP #wrro
A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP: Oliveira, Marcel Vi... https://t.co/pCmfu60tZP #wrro