Petri Net Modelling of Estelle-specified Communication Protocols

• Authors:

• V. A. Nepomniaschy;G. I. Alekseev;A. V. Bystrov;T. G. Churina;S. P. Mylnikov;E. V. Okunishnikova

• Affiliations:

• -;-;-;-;-;-

• Venue:
• PaCT '95 Proceedings of the 3rd International Conference on Parallel Computing Technologies
• Year:
• 1995