Keyword:CSP

Publications
The Challenges and Triumphs of CSP Based Formal Verification Andrew Roscoe and Pedro Antonino In:Proceedings of 2024 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference
Building Towards a Distributed, Dynamic Solution to the Santa Problem Mahmood Mohammed Seoud and David Gray Marchant In:Proceedings of 2024 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference
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
Slurm Scheduling From Rules-Based Systems Mark Blomqvist and David Marchant In:Proceedings of 2023 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference
Reconstructing in the Constraint Satisfaction Problem Evgeny Dantsin In:ANDREI-60. Automated New-era Deductive Reasoning Event in Iberia
OCCAM-Equivalent Syntax with Pure Singleton Descent Structure Lawrence Dickson EasyChair Preprint 5430
Designing and Verifying Microservices Using CSP Jeremy Martin EasyChair Preprint 5390
Privacy Preserving Of Cloud Storage Security Adarsh Pandey and A. Daniel EasyChair Preprint 3606
An Improved EEG Acquisition Protocol Facilitates Localized Neural Activation Jerrin Thomas Panachakel, Nandagopal Netrakanti Vinaya, Maanvi Nunna, A.G. Ramakrishnan and Kanishka Sharma EasyChair Preprint 1636
Practical Implementation of Machine Learning and Predictive Analytics in Cellular Network Transactions in Real Time Dahj Muwawa Jean Nestor and Kingsley A. Ogudo EasyChair Preprint 683