Wolfgang Reisig Deterministic Buffer Synchronization of Sequential Processes. 117-134 1982 18 Acta Inf. db/journals/acta/acta18.html#Reisig82