Technical Reports 
A Microkernel Architecture for Collaborative Systems