Dynamic State Machines with Multiway Synchronization, Channels and Shared Variables.

Günter Karjoth Dynamic State Machines with Multiway Synchronization, Channels and Shared Variables. 61-76 1993 conf/pstv/1993 PSTV db/conf/pstv/pstv1993.html#Karjoth93