28
Voted
CONCUR
2006
Springer
14 years 7 days ago
2006
Springer
We propose the notions of "density" and "connectivity" of infinite process graphs and investigate them in the context of the wellknown process algebras BPA and ...