1409 21 1454 3 2863 document 1454 WP-80-060.pdf application/pdf 99df130d95ba1c165fdb516cd46aa485 MD5 561352 2016-01-15 01:48:20 https://pure.iiasa.ac.at/id/eprint/1409/1/WP-80-060.pdf 1409 1 1 text en public

WP-80-060.pdf

22 c2aa47bc7657fd6e40e4f7bbf2a27e44df68c6a7 25508 2 37240 document 25508 lightbox.jpg image/png 0e9086f9ae676ff1c7aa72cd93ffaacc MD5 15419 2016-01-15 19:22:36 https://pure.iiasa.ac.at/id/eprint/1409/2/lightbox.jpg 1409 2 2 image/png other Thumbnails conversion from text to thumbnail_lightbox en public

lightbox.jpg

http://eprints.org/relation/isVersionOf https://pure.iiasa.ac.at/id/document/1454 http://eprints.org/relation/isVolatileVersionOf https://pure.iiasa.ac.at/id/document/1454 http://eprints.org/relation/islightboxThumbnailVersionOf https://pure.iiasa.ac.at/id/document/1454 25509 2 37241 document 25509 preview.jpg image/png db5c82f03273449ad45c3e5673f9e2af MD5 6542 2016-01-15 19:22:37 https://pure.iiasa.ac.at/id/eprint/1409/3/preview.jpg 1409 3 3 image/png other Thumbnails conversion from text to thumbnail_preview en public

preview.jpg

http://eprints.org/relation/isVersionOf https://pure.iiasa.ac.at/id/document/1454 http://eprints.org/relation/isVolatileVersionOf https://pure.iiasa.ac.at/id/document/1454 http://eprints.org/relation/ispreviewThumbnailVersionOf https://pure.iiasa.ac.at/id/document/1454 25510 2 37242 document 25510 medium.jpg image/png 6af5bebfddab739988f3a7c0621e2d57 MD5 2158 2016-01-15 19:22:38 https://pure.iiasa.ac.at/id/eprint/1409/4/medium.jpg 1409 4 4 image/png other Thumbnails conversion from text to thumbnail_medium en public

medium.jpg

http://eprints.org/relation/isVersionOf https://pure.iiasa.ac.at/id/document/1454 http://eprints.org/relation/isVolatileVersionOf https://pure.iiasa.ac.at/id/document/1454 http://eprints.org/relation/ismediumThumbnailVersionOf https://pure.iiasa.ac.at/id/document/1454 25511 2 37243 document 25511 small.jpg image/png b162ceabf026463296502a37fcacc890 MD5 812 2016-01-15 19:22:39 https://pure.iiasa.ac.at/id/eprint/1409/5/small.jpg 1409 5 5 image/png other Thumbnails conversion from text to thumbnail_small en public

small.jpg

http://eprints.org/relation/isVersionOf https://pure.iiasa.ac.at/id/document/1454 http://eprints.org/relation/isVolatileVersionOf https://pure.iiasa.ac.at/id/document/1454 http://eprints.org/relation/issmallThumbnailVersionOf https://pure.iiasa.ac.at/id/document/1454 25513 1 37245 document 25513 indexcodes.txt text/x-pascal 75b9c0878aeb928b2f3e2ac8bd249ad0 MD5 5268 2016-01-15 19:22:50 https://pure.iiasa.ac.at/id/eprint/1409/6/indexcodes.txt 1409 6 6 text/x-pascal other Generate index codes conversion from text to indexcodes en public

indexcodes.txt

http://eprints.org/relation/isVersionOf https://pure.iiasa.ac.at/id/document/1454 http://eprints.org/relation/isVolatileVersionOf https://pure.iiasa.ac.at/id/document/1454 http://eprints.org/relation/isIndexCodesVersionOf https://pure.iiasa.ac.at/id/document/1454 82919 2 232843 document 82919 WP-80-060.pdf application/pdf 9279303f86d6f738073a1b052d16f5d8 MD5 1255615 2018-03-14 12:17:24 https://pure.iiasa.ac.at/id/eprint/1409/7/WP-80-060.pdf 1409 7 7 application/pdf other Coversheet version en public

WP-80-060.pdf

http://eprints.org/relation/isVersionOf https://pure.iiasa.ac.at/id/document/1454 http://eprints.org/relation/isVolatileVersionOf https://pure.iiasa.ac.at/id/document/1454 http://eprints.org/relation/isCoversheetVersionOf https://pure.iiasa.ac.at/id/document/1454 archive 351 disk0/00/00/14/09 2016-01-15 01:48:20 2021-08-27 17:09:55 2016-01-15 01:48:20 monograph show 2 Petrenko A. AL0318 pub iis_cmp prog_gen The purpose of this paper is to consider the most complicated problem related to computer network design, and especially to the so-called "gateways": the definition and estimation of the logical correctness of protocols. While the simple terminal connection of a computer to a computer system necessitates only the emulation of the chosen terminal, the very complicated interconnection of several computer networks requires the definition and implementation of a whole hierarchy of protocols. Naturally, all the protocols of each level must be rigorously specified and carefully verified before being implemented into soft-, firm-, or hardware. In order to achieve this goal, a technique based on a top-down approach, involving stepwise refinement and verification of the protocol actions in various situations, is proposed in this paper. This technique requires the formalism of a special kind of Petri net: the Petri net with enabling predicates. 1980-04 published WP-80-060 WP-80-060 2288 public working_paper IIASA, Laxenburg, Austria 31 FALSE info:eu-repo/semantics/book