Bisimilarity for the region calculus

Cached

Download Links

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

Document Versions

Bisimilarity for the region calculus –Simon Helsen — Higher-Order and Symbolic Computation