{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:56:56Z","timestamp":1725487016275},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437871"},{"type":"electronic","value":"9783540480686"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48068-4_17","type":"book-chapter","created":{"date-parts":[[2007,6,18]],"date-time":"2007-06-18T07:01:43Z","timestamp":1182150103000},"page":"273-293","source":"Crossref","is-referenced-by-count":7,"title":["Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification"],"prefix":"10.1007","author":[{"given":"Lin","family":"Liu","sequence":"first","affiliation":[]},{"given":"Jonathan","family":"Billington","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,6]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Parosh Aziz Abdulla, Ahmed Bouajjani, and Bengt Jonsson. On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels. In Proc. of the 10th Int. Conf. on Computer Aided Verification (CAV\u201998), pages 305\u2013318, 1998.","DOI":"10.1007\/BFb0028754"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/S0304-3975(00)00105-5","volume":"256","author":"P. A. Abdulla","year":"2001","unstructured":"Parosh Aziz Abdulla and Bengt Jonsson. Ensuring completeness of symbolic verification methods for infinite-state systems. Theoretical Computer Science, 256:145\u2013167, 2001.","journal-title":"Theoretical Computer Science"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"T. Arons, A. Pnueli, S. Ruah, J. Xu, and L. Zuck. Parameterized Verification with Automatically Computed Inductive Assertions. In Proc. of the 13th Int. Conf. on Computer Aided Verification (CAV\u201901), Paris, Jul. 2001. Springer-Verlag.","DOI":"10.1007\/3-540-44585-4_19"},{"key":"17_CR4","unstructured":"W. A. Barret and J. D. Couch Compiler Construction: Theory and Practice. Science Research Associates, 1979."},{"issue":"2","key":"17_CR5","first-page":"141","volume":"7","author":"K. Baukus","year":"2001","unstructured":"Kai Baukus, Yassine Lakhnech, and Karsten Stahl. Verification of Parameterized Protocols. Journal of Universal Computer Science, 7(2):141\u2013158, 2001.","journal-title":"Journal of Universal Computer Science"},{"key":"17_CR6","first-page":"59","volume-title":"Protocol Specification, Testing and Verification, V","author":"J. Billington","year":"1986","unstructured":"J. Billington, M. C. Wilbur-Ham, and M. Y. Bearman. Automated Protocol Verification. In M. Diaz, editor, Protocol Specification, Testing and Verification, V, pages 59\u201370. Elsevier Science Publisher B. V. (North-Holland), 1986."},{"key":"17_CR7","unstructured":"Jonathan Billington. Formal Specification of Protocols: Protocol Engineering. In Allen Kent, James G. Williams, and Rosalind Kent, editors, Encyclopedia of Microcomputers, Vol. 7, pages 299\u2013314. Marcel Dekker, Inc., 1991."},{"key":"17_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Application of Petri Nets to Communication Networks: Advances in Petri Nets","year":"1999","unstructured":"Jonathan Billington, Michel Diaz, and Grzegorz Rozenberg, editors. Application of Petri Nets to Communication Networks: Advances in Petri Nets. LNCS 1605. Springer, 1999."},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Steven Gordon and Jonathan Billington. Analysing a Missile Simulator with Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2), Dec. 1998.","DOI":"10.1007\/s100090050023"},{"key":"17_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/3-540-46669-X_10","volume-title":"Proc. of the 1st Int. Conf. on Mobile Data Access","author":"S. Gordon","year":"1999","unstructured":"Steven Gordon and Jonathan Billington. Modelling the WAP Transaction Service using Coloured Petri Nets. In Proc. of the 1st Int. Conf. on Mobile Data Access LNCS 1748, pages 109\u2013118. Springer-Verlag, Dec. 1999."},{"key":"17_CR11","unstructured":"Design\/CPN homepage. http:\/\/www.daimi.au.dk\/designCPN\/ ."},{"key":"17_CR12","unstructured":"ITU-T. ITU-T Recommendation X.210, Information Technology-Open Systems Interconnection-Basic Reference Model: Conventions for the Definition of OSI Services, Nov. 1993."},{"key":"17_CR13","unstructured":"ITU-T. ITU-T Recommendation X.214, Information Technology-Open Systems Interconnection-Transport Service Definition, Nov. 1995."},{"key":"17_CR14","unstructured":"ITU-T. ITU-T Recommendation H.245, Control Protocol for Multimedia Communication, Nov. 2000."},{"key":"17_CR15","unstructured":"Kurt Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol 2 and vol 3. Springer, 2nd edition, 1997."},{"key":"17_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/3-540-56689-9_49","volume-title":"Parameterized Reachability Trees for Predicate\/Transition nets","author":"M. Lindqvist","year":"1993","unstructured":"Markus Lindqvist. Parameterized Reachability Trees for Predicate\/Transition nets, pages 301\u2013324. LNCS 674. Springer-Verlag, 1993."},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Lin Liu and Jonathan Billington. Modelling and Analysis of Internet Multimedia Protocols-Methodology and Initial Results. In Proc. of the 11th Annual Int. Symp. of the Int. Council on Systems Engineering (INCOSE\u20192001), CD-ROM, paper 3.2.4, Melbourne, Australia, Jul. 2001.","DOI":"10.1002\/j.2334-5837.2001.tb02301.x"},{"key":"17_CR18","unstructured":"Lin Liu and Jonathan Billington. Modelling and Analysis of the CES Protocol of H.245. In Proc. of the 3rd Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pages 95\u2013114, Aarhus, Denmark, Aug. 2001."},{"key":"17_CR19","unstructured":"Andrew S. Tanenbaum. Communication Networks. Prentice-Hall International, Inc., third edition, 1996."},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Antti Valmari and Ilkka Kokkarinen. Unbounded Verification Results by Finite-State Compositional Techniques: 10any States and Beyond. In Proc. of 1998 Int. Conf. on Application of Concurrency to System Design, pages 75\u201385, Aizu-Wakamatsu, Fukushima, Japan, Mar. 1998. IEEE Computer Society.","DOI":"10.1109\/CSD.1998.657541"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Isabelle Vernier. Symbolic Excecutions of Symmetrical Parallel Programs. In Proc. of the 4th Euromicro Workshop on Parallel and Distributed Processing (PDP\u201996), pages 327\u2013324, Los Alamitos, CA, USA, 1996. IEEE Computer Society.","DOI":"10.1109\/EMPDP.1996.500604"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48068-4_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T23:59:00Z","timestamp":1556495940000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48068-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437871","9783540480686"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-48068-4_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}