The following pages link to Pascal Molli (Q820128):
Displaying 6 items.
- Formal design and verification of operational transformation algorithms for copies convergence (Q820129) (← links)
- Building a collaborative peer-to-peer wiki system on a structured overlay (Q991197) (← links)
- An Undo Framework for P2P Collaborative Editing (Q3407347) (← links)
- (Q5091096) (← links)
- Algebraic Methodology and Software Technology (Q5312983) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479172) (← links)