Reasoning about Higher-Order Processes (1994)

Cached

Download Links

by Roberto M. Amadio , Mads Dam , Crin-inria Nancy
Citations:17 - 8 self