Jörg Hähner, Kurt Rothermel, Christian Becker. Update-linearizability: a consistency concept for the chronological ordering of events in MANETs. In 2004 IEEE International Conference on Mobile Ad-hoc and Sensor Systems, Fort Lauderdale, FL, USA, October 25-27, 2004. pages 1-10, IEEE Computer Society, 2004. [doi]
Abstract is missing.