Multiparty half-duplex systems and synchronous communications - Di Giusto, Cinzia; Germerie Guizouarn, Loïc; Lozes, Etienne (Journal of logical and algebraic methods in programming, 2023)
Keywords: Communicating finite state machines; Computer Science; FIFO systems; Message sequence charts; Model-checking; Models of communications; Synchronizability; Communicating finite state machines; FIFO systems; Model-checking; Models of communications; Message sequence charts; Synchronizability