Bisimilarity for the region calculus

by Simon Helsen
Venue:Higher-Order and Symbolic Computation