Abstract.
In this paper, we investigate the structure of the asynchronous behaviour of systems of cyclical, deterministic sequential processes. Specifically, we find conditions which, under certain finiteness assumptions, characterise periodic behaviours and pseudo-periodic behaviours, where a behaviour is periodic if it goes through a sequence of periods, i.e. of behaviours in which each active process executes one complete cycle, and a behaviour is pseudo-periodic, if it can be viewed as being composed of periods, possibly not happening in sequence. Thus, every periodic behaviour is pseudo-periodic. We identify a property, no overtaking, which a pseudo-periodic behaviour must have in order to be periodic.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received September 1998 / Accepted in revised form November 1999
Rights and permissions
About this article
Cite this article
Pitt, D., Shields, M. Overtaking in Asynchronous Periodic Systems. Form Aspects Comput 11, 567–590 (1999). https://doi.org/10.1007/s001650050058
Published:
Issue Date:
DOI: https://doi.org/10.1007/s001650050058