Faculté I&C, Claude Petitpierre, André Maurer 14 Modélisation par une machine détats State1: select { accept recv; buf.store (message); || obj1.send (buf); || waituntil (timeoutStart + T1); handleTimeout(); } obj1.send accept recv State1
{}