2 datasets found

International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2011 IEEE

In the true concurrency semantics, runs of a concurrent system are represented as partial orders of events. To represent sets of such runs in a compact manner,...