Specification and verification of the Co/sub 4/ distributed knowledge system using LOTOS | IEEE Conference Publication | IEEE Xplore