A canonical algebra of open transition systems - 42Papers