Ralph-Johan Back Reino Kurki-Suonio Serializability in Distributed Systems with Handshaking. 52-66 1988 conf/icalp/1988 ICALP db/conf/icalp/icalp88.html#BackK88 https://doi.org/10.1007/3-540-19488-6_106