Citation: Br. Montague et Ce. Mcdowell, SYNCHRONOUS REACTIVE PROGRAMMING OF CONCURRENT SYSTEM SOFTWARE/, Software, practice & experience, 27(3), 1997, pp. 207-243
Citation: Dp. Helbold et al., DETERMINING POSSIBLE EVENT ORDERS BY ANALYZING SEQUENTIAL TRACES, IEEE transactions on parallel and distributed systems, 4(7), 1993, pp. 827-840
Citation: M. Copperman et Ce. Mcdowell, SYMBOLIC DEBUGGING OF OPTIMIZED CODE - A FURTHER NOTE, ACM transactions on programming languages and systems, 15(2), 1993, pp. 357-365