TY  - RPRT
TI  - Interface Reconciliation in Kahn Process Networks using CSP and SAT
AU  - Pavel Zaichenkov
AU  - Olga Tveretina
AU  - Alex Shafarenko
PY  - 2015
UR  - https://arxiv.org/abs/1503.00622
ID  - 1503.00622
ER  -