Bisimilarity for the region calculus

Cached

Download Links

by Simon Helsen
Venue:Higher-Order and Symbolic Computation
Citations:2 - 1 self