175
Voted
CONCUR
1997
Springer
16 years 6 days ago
1997
Springer
We prove that a bounded stack can be specified in process algebra with just the operators alternative and sequential composition and iteration. The bounded bag cannot be specified ...