Logical Synchrony Networks: A formal model for deterministic distribution

Logan Kenwright, Partha Roop, Nathan Allen +4

Kahn Process Networks (KPNs) are a deterministic Model of Computation (MoC) for distributed systems. KPNs supports non-blocking writes and blocking reads, with the consequent assum…