A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is
Formal Description Techniques, IV
Process algebraic specification languages, i.e., CSP, CCS, LOTOS, etc., are semantically founded in the notion of interleaved traces of events. Unfortunately such traces are inadequate when the dimension of "real" time is considered since a totally ordered trace cannot model two or more time-consuming events overlapping in time. As a first step towards solving this problem, it is explained how, through a simple notational device, conventional traces can be augmented to retain causal eventdoi:10.1016/b978-0-444-89402-1.50047-3 fatcat:swpivaxfqnfa5gzsaednhznllu