Interface Reconciliation in Kahn Process Networks using CSP and SAT

Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko

We present a new CSP- and SAT-based approach for coordinating interfaces of distributed stream-connected components provided as closed-source services. The Kahn Process Network (KP…