Branching Bisimilarity of Normed BPA Processes as a Rational Monoid
The paper presents an elaborated and simplified version of the structural result for branching bisimilarity on normed BPA (Basic Process Algebra) processes that was the crux of a conference paper by Czerwinski and Jancar (arxiv 7/2014 and LiCS 2015). That paper focused on the computational complexit...
| मुख्य लेखक: | |
|---|---|
| स्वरूप: | लेख |
| भाषा: | English |
| प्रकाशित: |
Logical Methods in Computer Science e.V.
2017-11-01
|
| श्रृंखला: | Logical Methods in Computer Science |
| विषय: | |
| ऑनलाइन पहुंच: | https://lmcs.episciences.org/4097/pdf |