The following pages link to CONCUR 2003 - Concurrency Theory (Q5900564):
Displaying 5 items.
- Comparing expressibility of normed BPA and normed BPP processes (Q1306565) (← links)
- Complexity of deciding bisimilarity between normed BPA and normed BPP (Q1959482) (← links)
- Selected Ideas Used for Decidability and Undecidability of Bisimilarity (Q3532999) (← links)
- Deciding Bisimilarity of Full BPA Processes Locally (Q3540084) (← links)
- Normed BPA vs. Normed BPP Revisited (Q3541036) (← links)