DocumentCode
1574080
Title
Concurrent execution of communication protocols in high speed networks
Author
Rupprecht, Michael ; Engel, Christian
Author_Institution
Dept. of Comput. Sci. IV, Aachen Univ. of Technol., Germany
fYear
1992
Firstpage
164
Abstract
A method based on a higher Petri net is introduced for implementing highspeed protocols. It provides a very efficient implementation on a multiple processor system as well as formal methods for analyzing and improving the software. A formal protocol specification technique has been modified and is presented. It leads to a simple extension of conventional sequential programming languages and two new methods of optimizing the granularity of the parallel program
Keywords
Petri nets; computer networks; formal specification; multiprocessing systems; protocols; Petri net; communication protocols; formal methods; formal protocol specification; high speed networks; multiple processor system; parallel program; sequential programming languages; software; Access protocols; Formal specifications; Hardware; High-speed networks; Intelligent networks; Media Access Protocol; Petri nets; Process control; Testing; Transport protocols;
fLanguage
English
Publisher
ieee
Conference_Titel
Communications, 1992. ICC '92, Conference record, SUPERCOMM/ICC '92, Discovering a New World of Communications., IEEE International Conference on
Conference_Location
Chicago, IL
Print_ISBN
0-7803-0599-X
Type
conf
DOI
10.1109/ICC.1992.268269
Filename
268269
Link To Document