143
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determini...