Semantics of multiway dataflow constraint systems

Magne Haveraaen, Jaakko Järvi. Semantics of multiway dataflow constraint systems. J. Log. Algebr. Meth. Program., 121:100634, 2021. [doi]

Abstract

Abstract is missing.