20 citations · 59 across the 20 of their papers we have counts for
1 paper · 1 filter
Piotr Hofman, Patrick Totzke
This paper explores the well known approximation approach to decide weak bisimilarity of Basic Parallel Processes. We look into how different refinement functions can be used to pr…