Tasks in all categories are strongly interdependent. Theory Specification of Infrastructures for Task Forces. Develop methods for specifying sessions formally.
Many task forces share the underlying inter or intranet.
The same object may be part of sessions associated with different virtual organizations. Our problem is to develop methods of specifying sessions with the same degree of formality that we now specify threads. Modular Reasoning About Sessions. Sessions as Objects. Explore using object-oriented technologies for defining classes of sessions.