Sciweavers

ANSOFT
1999
85views more  ANSOFT 1999»
14 years 4 days ago
Modeling Concurrent Real-Time Processes Using Discrete Events
We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes ...
Edward A. Lee