Partitioning of perfect synchroneous reactive specifications to distributed processors using µ-charts

Peter Scholz. Partitioning of perfect synchroneous reactive specifications to distributed processors using µ-charts. Software and Systems Modeling, 5(1):13-25, 2006. [doi]

Abstract

Abstract is missing.