Proof of a Concurrent Program Finding Euler Paths.

Eike Best

Browse the full MFCS paper archive.