Keyword:concurrency

Publications
Goéland: a Concurrent Tableau-Based Theorem Prover (System Description) Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard and Hinde Bouziane EasyChair Preprint 8676
Type-Based Termination for Futures Siva Somayyajula and Frank Pfenning EasyChair Preprint 8625
Designing and Verifying Microservices Using CSP Jeremy Martin EasyChair Preprint 5390
Forward to a Promising Future Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren and Huu-Phuc Vo EasyChair Preprint 113
Modelling a Guardrail for an AI Control System Using CSP Jeremy Martin In:Proceedings of 2024 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference
Concurrency and Models of Abstraction: Past, Present and Future Jeremy Martin In:Proceedings of 2023 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference
Proving Simpson's Four-Slot Algorithm Using Ownership Transfer Shuling Wang and Xu Wang In:VERIFY-2010. 6th International Verification Workshop