Benjamin Weyers, Wolfram Luther, Nelson Baloian, José A. Pino. Formal Modeling of Multi-user Interfaces in Cooperative Work. In Valeria Herskovic, Heinz Ulrich Hoppe, Marc Jansen, Jürgen Ziegler, editors, Collaboration and Technology - 18th International Conference, CRIWG 2012, Raesfeld, Germany, September 16-19, 2012 Proceedings. Volume 7493 of Lecture Notes in Computer Science, pages 129-136, Springer, 2012. [doi]
Abstract is missing.