Erratum to: Formal Methods for Open Object-Based Distributed Systems - Gorrieri, Roberto; Wehrheim, Heike (Lecture Notes in Computer Science ; Formal Methods for Open Object-Based Distributed Systems ; page E1-E1 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540348931 9783540348955, 2017)