Keyword:race conditions

Publications
Varied timing, OCCAM modeling, and hardware-software equivalence in a worked IoT example Lawrence Dickson In:Proceedings of 2024 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference
Internally Generated Scan Resets Using OCC Dan Jacobs and Vinod Naik EasyChair Preprint 15172
Designing and Verifying Microservices Using CSP Jeremy Martin EasyChair Preprint 5390