Bisimilarity for the region calculus (0)

by S Helsen
Venue:Higher-Order and Symbolic Computation