The following pages link to (Q4222869):
Displaying 9 items.
- Regularity of normed PA processes (Q294692) (← links)
- A short proof of the decidability of bisimulation for normed BPA- processes (Q1198053) (← links)
- Comparing expressibility of normed BPA and normed BPP processes (Q1306565) (← links)
- Undecidable equivalences for basic process algebra (Q1342523) (← links)
- Effective decomposability of sequential behaviours (Q1575536) (← links)
- Complexity of deciding bisimilarity between normed BPA and normed BPP (Q1959482) (← links)
- Deciding Bisimilarity of Full BPA Processes Locally (Q3540084) (← links)
- Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences (Q5179048) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900564) (← links)