Decidability and complexity of equivalences for simple process algebras (1998)

Cached

Download Links

by Jitka Stribrna