A protocol for multirendezvous of LOTOS processes | IEEE Journals & Magazine | IEEE Xplore