Integration of the Phase-Difference Relations in Asynchronous Sequential Networks

A way of achieving concurrent behavior in asynchronous sequential networks consists in dedicating a component of the state set, called phase component, to the task of timing the evolution of another component of the state set, called data component. We discuss the problem of recovering the correct timing relationship between data items from the information contained in the phase component.