archives

Deterministic Concurrency

Toward a deterministic treatment of concurrency for the general case.