{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:32:39Z","timestamp":1742635959351},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540152040"},{"type":"electronic","value":"9783540393207"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15204-0_16","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:17:15Z","timestamp":1330193835000},"page":"267-287","source":"Crossref","is-referenced-by-count":5,"title":["On communication protocol modelling and design"],"prefix":"10.1007","author":[{"given":"G.","family":"Juanole","sequence":"first","affiliation":[]},{"given":"B.","family":"Algayres","sequence":"additional","affiliation":[]},{"given":"J.","family":"Dufau","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"16_CR1","unstructured":"\"Reference manual for the ADA programming language\", United States Department of Defence, Nov. 1980."},{"key":"16_CR2","unstructured":"B. Algayres, \"Sur la mod\u00e9lisation, la validation et l'impl\u00e9mentation d'un protocole de transport\", Th\u00e8se de Docteur-Ing\u00e9nieur, INSA,,no84, Toulouse, Dec. 1982."},{"key":"16_CR3","unstructured":"B. Berthomieu, \"Analyse structurelle des r\u00e9seaux de Petri\" Th\u00e8se de Docteur-Ing\u00e9nieur, UPS, Toulouse, Sept. 1979."},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"G.V. BOCHMAN, \"Finite state description of communication protocols\", Computer Networks, vol. 2, Oct. 1978.","DOI":"10.1016\/0376-5075(78)90015-6"},{"key":"16_CR5","unstructured":"J. Bremer, \"Mod\u00e8le formel pour la mod\u00e9lisation et la v\u00e9rification des protocoles de r\u00e9seaux d'ordinateurs\", Th\u00e8se de Doctorat \u00e8s-Sciences Appliqu\u00e9es, Li\u00e8ge, 1978."},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"A. Danthine, J. Bremer, \"Modelling and verification of end to end protocols\", Computer Networks, vol. 2, Oct. 1978.","DOI":"10.1016\/0376-5075(78)90017-X"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"A. Danthine, \"Protocol representation with finite state models\", IEEE Trans. on Comm., vol.COM-28, April 1980.","DOI":"10.1109\/TCOM.1980.1094686"},{"key":"16_CR8","unstructured":"M. Devy, M. Diaz, \"Multi-level specification and validation of the control in communication systems\", First Int. Conf. on Distributed Computing Systems, Huntsville, Alabama, Oct. 1979."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"M. Diaz, \"Modelling and analysis of communication and cooperation protocols using Petri net based models\", Computer Networks, vol.6, no6, Dec. 1982.","DOI":"10.1016\/0376-5075(82)90112-X"},{"key":"16_CR10","unstructured":"J. Dufau, M. Diaz, P. Azema, B. Pradin, G. Juanole, \"Conception et r\u00e9alisation d'outils de sp\u00e9cification et de conception\", Note Interne LAAS no83.038, June 1983."},{"key":"16_CR11","unstructured":"ECMA\/TC 24\/80\/67 Final Draft, Transport Protocol, July 1980."},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare, \"Communicating sequential processes\", Comm. ACM, August 1978.","DOI":"10.1007\/978-1-4757-3472-0_16"},{"key":"16_CR13","unstructured":"G. Juanole, \"Data transfer on a link: specification of a class of retransmission strategies for the error control. Formal modelling by Petri nets\", Fifteenth Hawai International Conference on System Sciences, Jan. 1982."},{"key":"16_CR14","unstructured":"G. Juanole, B. Algayres, \"Analysis for the design of a couple service-protocol: application to the transport connection establishment phase\", Third Int. Workshop on Protocol Specification, Testing and Verification, Zurich, 1983."},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"R.M. Keller, \"Formal verification of parallel programs\", Comm. of the ACM, vol. 19, no7, July 1976.","DOI":"10.1145\/360248.360251"},{"key":"16_CR16","unstructured":"L. Lamport, \"What good is temporal logic ?\", IFIP 9th World Compuer Congress, Paris, Sept. 1983."},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"P.M. Merlin, D.J. Farber, \"Recoverability of communication protocols. Implications of a theoretical study\", IEEE Trans. on Comm., vol. COM-24, Sept. 1976.","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"M.K. MOLLOY, \"Performance analysis using stochastic Petri nets\", IEEE Transactions on Computers, Sept. 1982.","DOI":"10.1109\/TC.1982.1676110"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"C. Sunshine, Y. Dalal, \"Connection management in transport protocols\", Computer Networks 2, 1978.","DOI":"10.1016\/0376-5075(78)90053-3"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1984"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15204-0_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:15Z","timestamp":1605643695000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15204-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540152040","9783540393207"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-15204-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}