Undecidable Equivalences for Basic Process Algebra (1991)

Cached

Download Links

by Jan Friso Groote , Hans Hüttel
Venue:Information and Computation
Citations:33 - 4 self