Bisimilarity for the region calculus
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 |
