Multi-Domain Propagation Algebra (MDPA)
The Multi-Domain Propagation Algebra (MDPA) extends classical Kleene Algebra to a typed, multi-domain setting where relations connect distinct spaces and propagation enables reachability across heterogeneous domains. MDPA provides a minimal algebraic foundation for reasoning about propagation, reachability, and influence flow in distributed or typed relational systems, bridging algebraic, categorical, and implementational perspectives.
Institutions
- Teradyne (United States) (US)
Publication Details
- Journal
- Zenodo (CERN European Organization for Nuclear Research)
- Published
- 2025-10-29
- DOI
- https://doi.org/10.5281/zenodo.17470002
- Primary Topic
- Logic, programming, and type systems
- Type
- article
- Field-Weighted Citation Impact
- 0.00