@inproceedings{c014e8bec24f43fd9160c9a46dc9181f,
title = "Approximating Weak Bisimilarity of Basic Parallel Processes",
abstract = "This paper explores the well known approximantion approach to decide weak bisimilarity of Basic Parallel Processes by refinement. We look into how different refinement functions can be used to prove weak bisimilarity decidable for certain subclasses and also show their limitations for the general case. In particular, we show a lower bound of ω∗ωω∗ω for the approximants which allow weak steps and a lower bound of ω+ωω+ω for the approximants that allow sequences of actions.",
author = "Piotr Hofman and Patrick Totzke",
year = "2012",
doi = "10.4204/EPTCS.89.8",
language = "English",
volume = "89",
series = "Electronic Proceedings in Theoretical Computer Science",
publisher = "Open Publishing Association",
pages = "99--113",
editor = "Bas Luttik and Reniers, {Michel A.}",
booktitle = "Proceedings of Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics",
address = "Australia",
}