Infinite Trace Equivalence

Computer Science

Research output: Contribution to journal › Article

8 Citations (Scopus)

1 results

Filter

Finished
Semantics of Nondeterminism
Levy, P.
Engineering & Physical Science Research Council
1/12/05 → 31/08/08
Project: Research Councils