| 
|
Quote: a trace for a process is a serialization of the events it engages in
topics >
all references >
references g-h >
Topic:
events
Topic:
communicating sequential processes
Quotation Skeleton
A trace of the behaviour of a process … to some moment in time. … We can validly ignore the possibility that two … [writing the trace] would still have to record one of them first and … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: events (44 items)
Topic: communicating sequential processes (33 items)