Vous êtes sur la page 1sur 1

proctype S () { byte message; byte stateS = I; do if::(stateS==I)-> C2S?message; if::(message ==DC) stateS = connecteS; fi ::(stateS == connecteS)-> C2S?

message; if::(message ==close) stateS = I; fi od

Vous aimerez peut-être aussi