A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP.

Marcel Vincius Medeiros Oliveira, Ivan Soares de Medeiros Jnior, Jim Woodcock

Browse the full SEFM paper archive.