An Introduction to Program and Thread Algebra.

Alban Ponse, Mark van der Zwaag

Browse the full CiE paper archive.