With the advances in a variety of software/hardware technologies and wireless networking, there is coming a need for ubiquitous collaboration which allows people to access information systems independent of their access device and their physical capabilities and to communicate with other people in anytime and anywhere. Current virtual conferencing systems lack support for ubiquitous collaboration. As the number of collaborators with a large number of disparate access devices increases, mechanisms for dealing with consistency in an application shared among collaborators will have to be considered in an unambiguous manner. In this paper we address issues related in building a framework for synchronous and ubiquitous collaboration. First, to make ubiquitous collaboration more promising, we briefly present a framework built on heterogeneous (wire, wireless) computing environment and a set of session protocols defined in XML to provide a generic solution for controlling sessions and participants' presences in collaboration. Second, to provide a solution for maintaining shared state consistency at application level, we present a floor control mechanism which coordinates activities occurred in synchronously cooperating applications being shared among collaborators. The mechanism with strict conflict avoidance and non-optimistic locking strategy allows all participants to have the same views and data at all times. Finally, we show modeling of XGSP-Floor control mechanism and formal verification to prove the correctness of the modeled control mechanism.