skip to main content
Show Results with:

On the decidability of non-interleaving process equivalences.

Astrid Kiehn

University of Sussex, School of Cognitive and Computing Science, 1994.

Check library holdings

Searching Remote Databases, Please Wait