Skip to content

Back-Forth Equivalences for Design of Concurrent Systems.

Igor V. Tarasyuk

Year1997
ProceedingsLFCS

Browse the full LFCS paper archive.