Author:Jeremy Martin

Publications
Could Communicating Sequential Processes be Used to Make Quantum Computing More Tractable? Jeremy Martin In:Proceedings of 2024 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference
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
Designing and Verifying Microservices Using CSP Jeremy Martin EasyChair Preprint 5390