Process Algebra Traces Augmented with Causal Relationships.

Colin J. Fidge

Browse the full FORTE paper archive.