Keyword:Occam

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
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
OCCAM-Equivalent Syntax with Pure Singleton Descent Structure Lawrence Dickson EasyChair Preprint 5430