Relational Unsharpness and Processes [PDF]
P. Kempf and M. Winter, November 2003.
We propose a canonical weakening of the notion of a relational product suitable to describe unsharpness effects of parallel composition of processes. In contrast to relational products, in this new construction the unsharpness property may still be valid although it is totally defined and the algebra is representable.