Logical Synchrony Plus Functional Processes Entail Observable Determinacy.

Sanjiva Prasad

Browse the full MEMOCODE paper archive.