Reference Materials
Documentation, code samples and academic references for the Parallax Protocol
Publication Information
Title
The Parallax Protocol: A Self-Healing, N-Version Programming Methodology Utilising Generative AI and Object Constraint Language (OCL) for Consensus-Based Software Reliability
Publication Date
2026-01-16
Type
Defensive Publication / Prior Art Disclosure
Licence
Public Domain (for Prior Art establishment)
Target Institution
University of Cambridge, Computer Laboratory
Department of Computer Science and Technology
Documentation Downloads
White Paper
Complete technical white paper covering methodology, architecture and claims of novelty.
View Online →PhD Proposal
Research proposal framework suitable for submission to the University of Cambridge.
View Online →Prior Art Claims
Defensive publication with detailed claims of novelty for legal protection.
View Online →Reference Implementation
Complete Python implementation of the Arbiter orchestrator with sample code.
View Online →Academic References
N-Version Programming
Avizienis, A. (1985). “The N-Version Approach to Fault-Tolerant Software.” IEEE Transactions on Software Engineering, SE-11(12), 1491-1501.
Foundational paper on N-Version Programming from the aerospace industry.
Object Constraint Language
Warmer, J., & Kleppe, A. (2003). The Object Constraint Language: Getting Your Models Ready for MDA. Addison-Wesley Professional.
Definitive guide to OCL for formal specification and Design-by-Contract.
LLM Code Generation
Chen, M., et al. (2021). “Evaluating Large Language Models Trained on Code.” arXiv preprint arXiv:2107.03374.
Codex paper establishing benchmarks for LLM code generation capabilities.
Consensus Algorithms
Lamport, L. (1998). “The Part-Time Parliament.” ACM Transactions on Computer Systems, 16(2), 133-169.
Paxos consensus algorithm - foundational for distributed agreement.
Relevant Cambridge Research Groups
Systems Research Group
Focus on operating systems, distributed systems and systems security. Ideal for the runtime architecture and containerisation aspects.
Programming, Logic, and Semantics Group
Focus on formal methods, type theory and program verification. Perfect fit for OCL integration and correctness proofs.
Artificial Intelligence Group
Focus on machine learning and AI safety. Relevant for LLM behaviour analysis and hallucination quantification.
Security Group
Focus on computer security and privacy. Relevant for the Triumvirate architecture and adversarial robustness.