Article,
Modeling concurrent real-time processes using discrete events
Annals of Software Engineering, 7 (1): 25--45 (October 1999)
Abstract
Abstract We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possiblebehaviors. Compositions of processes are processes with behaviors in the intersection of the behaviors of the component processes.The interaction between processes is through signals, which are collections of events. Each event is a value-tag pair, wherethe tags denote time. Zeno conditions are defined and methods are given for avoiding them. Strict causality ensures determinacyunder certain technical conditions, and delta-causality ensures the absence of Zeno conditions.
