{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:07:16Z","timestamp":1750306036272,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,11,14]],"date-time":"2017-11-14T00:00:00Z","timestamp":1510617600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,11,14]]},"DOI":"10.1145\/3167486.3167516","type":"proceedings-article","created":{"date-parts":[[2018,1,16]],"date-time":"2018-01-16T13:20:46Z","timestamp":1516108846000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Formal Specification and Verification of Transmission Control Protocol"],"prefix":"10.1145","author":[{"given":"Abdessamad","family":"Jarrar","sequence":"first","affiliation":[{"name":"Computing, Imaging and Modeling of Complex Systems, Laboratory, Morocco"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Otman","family":"Bellasri","sequence":"additional","affiliation":[{"name":"Computing, Imaging and Modeling of Complex Systems, Laboratory, Morocco"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sallami","family":"Chougdali","sequence":"additional","affiliation":[{"name":"Signals, Distributed Systems and Artificial Intelligence Laboratory, Morocco"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Youssef","family":"Balouki","sequence":"additional","affiliation":[{"name":"Computing, Imaging and Modeling of Complex Systems, Laboratory, Morocco"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,11,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855020"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.04.015"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15961-9_57"},{"key":"e_1_3_2_1_4_1","first-page":"26","article-title":"the event-B mathematical language","author":"Laurent Voisin Cristophe M\u00e9tayer","year":"2009","journal-title":"Mars"},{"key":"e_1_3_2_1_5_1","first-page":"5382","article-title":"NAT Behavioral Requirements for TCP","volume":"142","author":"S","year":"2008","journal-title":"BCP"},{"key":"e_1_3_2_1_6_1","unstructured":"Yann Walkowiak \"Math\u00e9matiques dicr\u00e8tes\" 2013.  Yann Walkowiak \"Math\u00e9matiques dicr\u00e8tes\" 2013."},{"key":"e_1_3_2_1_7_1","unstructured":"R. W. Butler \"What is Formal Methods?\". Retrieved 2006-11-16.  R. W. Butler \"What is Formal Methods?\". Retrieved 2006-11-16."},{"key":"e_1_3_2_1_8_1","series-title":"Lecture Notes in Computer Science. 328","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/3-540-50214-9_8","volume-title":"Robin E. Bloomfield and Lynn S. Marshall and Roger B. Jones. VDM --- The Way Ahead, Proc. 2nd VDM-Europe Symposium","author":"Abrial Jean-Raymond","year":"1988"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855020"},{"key":"e_1_3_2_1_10_1","unstructured":"Michael Jastram (Editor) Foreword by Prof. Michael Butler \"Rodin User's Handbook\" Covers Rodin v.2.8.   Michael Jastram (Editor) Foreword by Prof. Michael Butler \"Rodin User's Handbook\" Covers Rodin v.2.8."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Thai Son Hoang Hironobu Kuruma David Basin and Jean-Raymond Abrial \" Developing Topology Discovery in Event-B \" 2009.  Thai Son Hoang Hironobu Kuruma David Basin and Jean-Raymond Abrial \" Developing Topology Discovery in Event-B \" 2009.","DOI":"10.1007\/978-3-642-00255-7_1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Helia Pouyllau Richard Douville \"End-to-end QoS negotiation in network federations\" ICT ETICS project Grant agreement no.: FP7-248567 Contract Number: INFSO-ICT-248567 2010.  Helia Pouyllau Richard Douville \"End-to-end QoS negotiation in network federations\" ICT ETICS project Grant agreement no.: FP7-248567 Contract Number: INFSO-ICT-248567 2010.","DOI":"10.1109\/NOMSW.2010.5486578"},{"key":"e_1_3_2_1_13_1","unstructured":"P. Cremonese S.Giordano \"An example of dynamic QoS negotiation\" Finsiel S.p.A via Matteucci 34 Pisa Italy.  P. Cremonese S.Giordano \"An example of dynamic QoS negotiation\" Finsiel S.p.A via Matteucci 34 Pisa Italy."},{"key":"e_1_3_2_1_14_1","unstructured":"UIT-T \u00ab S\u00c9RIE X: R\u00c9SEAUX POUR DONN\u00c9ES ETCOMMUNICATION ENTRE SYST\u00c8MES OUVERTS Technologies de l'information-- Qualit\u00e9 de service-- Guide pour les m\u00e9thodes et les m\u00e9canismes Recommandation \u00bb X642 09\/1998.  UIT-T \u00ab S\u00c9RIE X: R\u00c9SEAUX POUR DONN\u00c9ES ETCOMMUNICATION ENTRE SYST\u00c8MES OUVERTS Technologies de l'information-- Qualit\u00e9 de service-- Guide pour les m\u00e9thodes et les m\u00e9canismes Recommandation \u00bb X642 09\/1998."},{"key":"e_1_3_2_1_15_1","unstructured":"Reference Model of Open Distributed Processing (RM-ODP): Introduction Kerry Raymond CRC for Distributed Systems Technology Centre for Information Technology Research University of Queensland Brisbane 4072 Australia  Reference Model of Open Distributed Processing (RM-ODP): Introduction Kerry Raymond CRC for Distributed Systems Technology Centre for Information Technology Research University of Queensland Brisbane 4072 Australia"},{"key":"e_1_3_2_1_16_1","unstructured":"Kerry Raymond \"Reference Model of Open Distributed Processing (RM-ODP): Introduction\" 1997.  Kerry Raymond \"Reference Model of Open Distributed Processing (RM-ODP): Introduction\" 1997."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/645532.656332"},{"volume-title":"Proc. ICNP","year":"1997","author":"Lee D.","key":"e_1_3_2_1_18_1"}],"event":{"name":"ICCWCS'17: International Conference on Computing and Wireless Communication Systems","acronym":"ICCWCS'17","location":"Larache Morocco"},"container-title":["Proceedings of the 2nd International Conference on Computing and Wireless Communication Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167486.3167516","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3167486.3167516","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:02:57Z","timestamp":1750215777000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167486.3167516"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,14]]},"references-count":18,"alternative-id":["10.1145\/3167486.3167516","10.1145\/3167486"],"URL":"https:\/\/doi.org\/10.1145\/3167486.3167516","relation":{},"subject":[],"published":{"date-parts":[[2017,11,14]]},"assertion":[{"value":"2017-11-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}