Deriving protocols from services in the finite state machine representation

URN:NBN:SI:doc-GAE3BK2W1988Kapus-Kolar, Monikadocuments/doc/G/URN_NBN_SI_doc-GAE3BK2W_001.pdfdocuments/doc/G/URN_NBN_SI_doc-GAE3BK2W_001.txt122articlestr. 69-750350-55962038294URN:NBN:SI:doc-GAE3BK2WengSlovene Society InformatikaInformatica (Ljubljana)InCDeriving protocols from services in the finite state machine representation