Menu
Home
Help and information
About this website
Privacy Policy
Astrid Kiehn
1 published title
On the decidability of non-interleaving process equivalences
1 edition
Computer Science, School of Cognitive and Computing Sciences, University of Sussex
1994
Details