Keyword:CSP

Publications
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