Abstract
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 determinism, can be added to this theory through first-order definitional extensions. Model theory is used to analyse the discrepancies between identity in the models
... read more