Refinement for Signal Flow Graphs

Filippo Bonchi, Joshua Holland, Dusko Pavlovic, Pawel Sobocinski. Refinement for Signal Flow Graphs. In Roland Meyer, Uwe Nestmann, editors, 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany. Volume 85 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Abstract

Abstract is missing.