Undecidable Equivalences for Basic Parallel Processes (1993)

Cached

Download Links

by Hans Hüttel
Venue:13th Conference on Foundations of Software Technology and Theoretical Computer Science
Citations:25 - 2 self