A Consistency-Preserving Protocol for Distributed Collaborative Model Auth

ieeexplore.ieee.org — Dizza Beimel and Lior Galanti from Technion, Israel Institute of Technology propose a protocol that enables a group of developers engaged in conceptual modeling of the same system to work simultaneously while maintaining the consistency of the shared model. This fascinating paper describes the protocol and the proof for its completeness. Jun 25, 2007 View in Crawl 4