Steen, M.R. van

communication process state design activity application model envelope receiver message request system figure sender manager server replication backup structure object language example development diagram implementation target technique thread communication media channel node self place transition connection modeling software approach notation behavior queue table volume media parse number method machine semantic order parallelism control solution event support request manager multicasting communication states server manager specification analysis message queues state-transition machines state-transition structure model situation statement request table drive information semaphore transfer senders nproc network node caller backup manager processing states communication medium section hamlet