{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:54:25Z","timestamp":1725544465969},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540331025"},{"type":"electronic","value":"9783540331032"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11691617_12","type":"book-chapter","created":{"date-parts":[[2006,3,28]],"date-time":"2006-03-28T14:14:13Z","timestamp":1143555253000},"page":"201-218","source":"Crossref","is-referenced-by-count":7,"title":["A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols"],"prefix":"10.1007","author":[{"given":"Guy Edward","family":"Gallasch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Billington","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"12_CR1","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1023\/B:FORM.0000033962.51898.1a","volume":"25","author":"P. Aziz Abdulla","year":"2004","unstructured":"Aziz Abdulla, P., Collomb-Annichini, A., Bouajjani, A., Jonsson, B.: Using Forward Reachability Analysis for Verification of Lossy Channel Systems. Formal Methods in System Design\u00a025(1), 39\u201365 (2004)","journal-title":"Formal Methods in System Design"},{"key":"12_CR2","first-page":"299","volume-title":"Encyclopedia of Microcomputers","author":"J. Billington","year":"1991","unstructured":"Billington, J.: Formal specification of protocols: Protocol Engineering. In: Encyclopedia of Microcomputers, vol.\u00a07, pp. 299\u2013314. Marcel Dekker, New York (1991)"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Application of Petri Nets to Communication Networks","year":"1999","unstructured":"Billington, J., D\u00edaz, M., Rozenberg, G. (eds.): APN 1999. LNCS, vol.\u00a01605. Springer, Heidelberg (1999)"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-540-39979-7_14","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2003","author":"J. Billington","year":"2003","unstructured":"Billington, J., Gallasch, G.E.: How Stop and Wait Protocols Can Fail Over The Internet. In: K\u00f6nig, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol.\u00a02767, pp. 209\u2013223. Springer, Heidelberg (2003)"},{"key":"12_CR5","unstructured":"Billington, J., Gallasch, G.E.: An Investigation of the Properties of Stopand- Wait Protocols over Channels which can Re-order messages. Technical Report CSEC-15, Computer Systems Engineering Centre Report Series, University of South Australia (May 2004)"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/978-3-540-27755-2_6","volume-title":"Lectures on Concurrency and Petri Nets","author":"J. Billington","year":"2004","unstructured":"Billington, J., Gallasch, G.E., Han, B.: A Coloured Petri Net Approach to Protocol Verification. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol.\u00a03098, pp. 210\u2013290. Springer, Heidelberg (2004)"},{"issue":"3","key":"12_CR7","first-page":"251","volume":"12","author":"J. Billington","year":"2005","unstructured":"Billington, J., Gallasch, G.E., Petrucci, L.: FAST Verification of the Class of Stop-and-Wait Protocols modelled by Coloured Petri Nets. Nordic Journal of Computing\u00a012(3), 251\u2013274 (2005)","journal-title":"Nordic Journal of Computing"},{"key":"12_CR8","unstructured":"Billington, J., Gallasch, G.E., Petrucci, L.: Transforming Coloured Petri Nets to Counter Systems for Parametric Verification: A Stop-and-Wait Protocol Case Study. In: Proceedings of 2nd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2005), Rennes, France, vol.\u00a039, May 2005, pp. 37\u201355. TUCS General Publication (May 2005)"},{"key":"12_CR9","unstructured":"FAST - Fast Acceleration of Symbolic Transition systems, http:\/\/www.lsv.ens-cachan.fr\/fast\/"},{"key":"12_CR10","unstructured":"Gallasch, G.E., Billington, J.: Towards the Parametric Verification of the Class of Stop-and-Wait Protocols over Ordered Channels. Technical Report CSEC-21, Computer Systems Engineering Centre Report Series, University of South Australia, March 2005 (revised June 2005)"},{"key":"12_CR11","unstructured":"Gallasch, G.E., Billington, J.: Parametric Verification of the Class of Stop-and- Wait Protocols over Ordered Channels. Technical Report CSEC-23, Computer Systems Engineering Centre Report Series, University of South Australia, Draft (January 2006)"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/11562948_34","volume-title":"Automated Technology for Verification and Analysis","author":"G.E. Gallasch","year":"2005","unstructured":"Gallasch, G.E., Billington, J.: Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols. In: Peled, D.A., Tsay, Y.-K. (eds.) ATVA 2005. LNCS, vol.\u00a03707, pp. 457\u2013473. Springer, Heidelberg (2005)"},{"key":"12_CR13","unstructured":"Han, B.: Formal Specification of the TCP Service and Verification of TCP Connection Management. PhD thesis, Computer Systems Engineering Centre, School of Electrical and Information Engineering, University of South Australia, Adelaide, Australia (December 2004)"},{"key":"12_CR14","series-title":"Basic Concepts","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, 2nd edn. Basic Concepts, vol.\u00a01. Springer, Heidelberg (1997)","edition":"2"},{"key":"12_CR15","series-title":"Practical Use","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Practical Use, vol.\u00a03. Springer, Heidelberg (1997)"},{"issue":"2","key":"12_CR16","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., Jensen, K.: The Practitioner\u2019s Guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer\u00a02(2), 98\u2013132 (1998)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/11589976_16","volume-title":"Integrated Formal Methods","author":"L.M. Kristensen","year":"2005","unstructured":"Kristensen, L.M., Westergaard, M., N\u00f8rgaard, P.C.: Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks. In: Romijn, J.M.T., Smith, G.P., van de Pol, J. (eds.) IFM 2005. LNCS, vol.\u00a03771, pp. 266\u2013286. Springer, Heidelberg (2005)"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/3-540-48068-4_17","volume-title":"Application and Theory of Petri Nets 2002","author":"L. Liu","year":"2002","unstructured":"Liu, L., Billington, J.: Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol.\u00a02360, pp. 273\u2013293. Springer, Heidelberg (2002)"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Postel, J.: Transmission Control Protocol. RFC 793 (September 1981)","DOI":"10.17487\/rfc0793"},{"key":"12_CR20","volume-title":"Data and Computer Communications","author":"W. Stallings","year":"2004","unstructured":"Stallings, W.: Data and Computer Communications, 7th edn. Prentice-Hall, Englewood Cliffs (2004)","edition":"7"},{"key":"12_CR21","unstructured":"Standard ML of New Jersey, http:\/\/cm.bell-labs.com\/cm\/cs\/what\/smlnj\/"},{"key":"12_CR22","volume-title":"Computer Networks","author":"A. Tanenbaum","year":"2003","unstructured":"Tanenbaum, A.: Computer Networks, 4th edn. Prentice-Hall, Englewood Cliffs (2003)","edition":"4"},{"key":"12_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/3-540-65306-6_21","volume-title":"Lectures on Petri Nets I: Basic Models","author":"A. Valmari","year":"1998","unstructured":"Valmari, A.: The State Explosion Problem. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 429\u2013528. Springer, Heidelberg (1998)"},{"key":"12_CR24","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1109\/CSD.1998.657541","volume-title":"Proceedings of International Conference on Application of Concurrency to System Design","author":"A. Valmari","year":"1998","unstructured":"Valmari, A., Kokkarinen, I.: Unbounded Verification Results by Finite-State Compositional Techniques: 10 any States and Beyond. In: Proceedings of International Conference on Application of Concurrency to System Design, March 1998, pp. 75\u201385. IEEE Computer Society, Los Alamitos (1998)"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11691617_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T17:18:51Z","timestamp":1555521531000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11691617_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540331025","9783540331032"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11691617_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}