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]

Authors

Peter Scholz

This author has not been identified. Look up 'Peter Scholz' in Google