3 ms·
Also Hoare logic.
by MaxBarraclough 5y ago
Also Hoare logic.
- xfer 5y agoAlso CSP: https://en.wikipedia.org/wiki/Communicating_sequential_processes https://en.wikipedia.org/wiki/Communicating_sequential_proce...
- lou1306 5y agoAlso, monitors: https://en.wikipedia.org/wiki/Monitor_%28synchronization%29?wprov=sfla1 https://en.wikipedia.org/wiki/Monitor_%28synchronization%29?...