{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:58:15Z","timestamp":1725490695742},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403340"},{"type":"electronic","value":"9783540449195"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44919-1_24","type":"book-chapter","created":{"date-parts":[[2007,9,2]],"date-time":"2007-09-02T20:38:42Z","timestamp":1188765522000},"page":"377-396","source":"Crossref","is-referenced-by-count":5,"title":["Analysing Properties of the Resource Reservation Protocol"],"prefix":"10.1007","author":[{"given":"Mar\u00eda E.","family":"Villapol","sequence":"first","affiliation":[]},{"given":"Jonathan","family":"Billington","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Billington J., Diaz M. and Rozenberg G. (eds), Application of Petri nets to Communication Networks, Advances in Petri Nets, LNCS, Vol. 1605, 1999.","key":"24_CR1","DOI":"10.1007\/BFb0097770"},{"doi-asserted-by":"crossref","unstructured":"Braden R., et al. Resource Reservation Protocol (RSVP) \u2014 Version 1: Functional Specification. RFC 2205, IETF, September, 1997.","key":"24_CR2","DOI":"10.17487\/rfc2209"},{"key":"24_CR3","first-page":"169","volume-title":"Proc. Of the International Workshop on Discrete Event Systems","author":"A. Cheng","year":"1996","unstructured":"Cheng A. and Christensen S. and Mortensen K. Model Checking Coloured Petri Nets Exploiting Strongly Connected Components, in Proc. Of the International Workshop on Discrete Event Systems, Institute of Electrical Engineers, University of Edinburgh, UK, August 1996, pp 169\u2013177."},{"key":"24_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Verifying End-to-End Protocols Using Induction with CSP\/FDR","author":"S. Creese","year":"1999","unstructured":"Creese S and Reed J N, Verifying End-to-End Protocols Using Induction with CSP\/FDR, Parallel and Distributed Processing, 13th International Parallel Processing Symposium and 10th International Symposium on Parallel and Distributed Processing, Puerto Rico, April 1999, LNCS 1586, Springer."},{"key":"24_CR5","volume-title":"Inside the Internet\u2019s Resource Reservation Protocol","author":"D. Durham","year":"1999","unstructured":"Durham D. and Yavatkar R. Inside the Internet\u2019s Resource Reservation Protocol. Wiley, USA, 1999."},{"unstructured":"Han B. and Billington J. Validating TCP Connection Management. Proceedings of the Workshops on Software Engineering and Formal Methods and Formal Methods Applied to Defense Systems, Adelaide, Australia, June 2002, pp 47\u201355.","key":"24_CR6"},{"unstructured":"Holzmann G. Design and Validation of Computer Protocols. Prentice Hall. 1991.","key":"24_CR7"},{"unstructured":"ITU-T Convention for the Definition of OSI Services. Recommendation X.210. 1994.","key":"24_CR8"},{"unstructured":"Jensen K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 1, 2 and 3. Springer-Verlag, 2nd edition, April, 1997.","key":"24_CR9"},{"issue":"2","key":"24_CR10","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/s100090050021","volume":"2","author":"L.M. Kristensen","year":"1998","unstructured":"Kristensen L.M., Christensen S., and Jensen K. The practitioner\u2019s guide to coloured Petri nets. International Journal on Software Tools for Technology Transfer, Springer, 1998, Vol. 2, Number 2, pp 98\u2013132.","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"24_CR11","volume-title":"Design\/CPN Reference Manual for X-Windows","author":"Meta Software Corporation.","year":"1993","unstructured":"Meta Software Corporation. Design\/CPN Reference Manual for X-Windows, Version 2, Meta Software Corporation, Cambridge, 1993."},{"key":"24_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/3-540-45705-4_39","volume-title":"Third International Conference, EC-Web 2002 Aix-en-Provence","author":"C. Ouyang","year":"2002","unstructured":"Ouyang C., Kristensen LM and Billington J. A Formal and Executable Specification of Internet Open Trading Protocol. Third International Conference, EC-Web 2002 Aix-en-Provence, France, September 2002, LNCS 2455, pp 377\u2013387."},{"unstructured":"Paulson L. ML for the Working Programmer. Cambridge University Press. 1991.","key":"24_CR13"},{"unstructured":"Proceedings of the (Joint) International Conferences on Formal Description Techniques for Distributed Systems and Communications Protocols (FORTE) and Protocol Specification, Testing & Verification (PSTV), 1997\u20132000.","key":"24_CR14"},{"key":"24_CR15","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of Joint European Conferences on Theory and Practice of Software, ETAPS98, as part of Fundamental Approaches to Software Engineering, FASE98","author":"J.N. Reed","year":"1998","unstructured":"Reed JN, Jackson DM, Deianov B. and Reed GM. Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms. Proceedings of Joint European Conferences on Theory and Practice of Software, ETAPS98, as part of Fundamental Approaches to Software Engineering, FASE98, Lisbon, LNCS 1382, Springer."},{"doi-asserted-by":"crossref","unstructured":"Smith M.A. Formal Verification of Communication Protocols. In Reinhard Gotzhein and Jan Bredereke, editors Formal Description Techniques IX: Theory, Applications, and Tools FORTE\/PSTV\u201996: Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification, Kaiserslautern, Germany, October 1996, pp 129\u2013144. Chapman & Hall, 1996.","key":"24_CR16","DOI":"10.1007\/978-0-387-35079-0_8"},{"key":"24_CR17","first-page":"429","volume":"1491","author":"A. Valmari","year":"1998","unstructured":"Valmari A. The State Explosion Problem. Lectures on Petri Nets I: Basic Models, Vol. 1491, 1998, pp 429\u2013528.","journal-title":"The State Explosion Problem"},{"unstructured":"Villapol M.E. and Billington J. Modelling and Initial Analysis of the Resource Reservation Protocol using Coloured Petri Nets, Proceedings of the Workshop on Practical Use of High-Level Petri Nets, Aarhus, Denmark, June 27, 2000, pp 91\u2013110.","key":"24_CR18"},{"doi-asserted-by":"crossref","unstructured":"Villapol M.E. and Billington J. Generation of a Service Language for the Resource Reservation Protocol Using Formal Methods, Proceedings of Eleventh Annual International Symposium of the International Council On Systems Engineering (INCOSE), 1\u20135 July 2001, on CD-ROM.","key":"24_CR19","DOI":"10.1002\/j.2334-5837.2001.tb02433.x"},{"unstructured":"Villapol M.E. Modelling and Analysis of the Resource Reservation Protocol Using Coloured Petri Nets. Doctoral Thesis, University of South Australia, March 2003.","key":"24_CR20"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44919-1_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T15:41:39Z","timestamp":1556811699000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44919-1_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403340","9783540449195"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-44919-1_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}