{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:42:46Z","timestamp":1742402566092},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441656"},{"type":"electronic","value":"9783540457398"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45739-9_22","type":"book-chapter","created":{"date-parts":[[2007,5,16]],"date-time":"2007-05-16T02:42:01Z","timestamp":1179283321000},"page":"375-393","source":"Crossref","is-referenced-by-count":7,"title":["Eliminating Queues from RT UML Model Representations"],"prefix":"10.1007","author":[{"given":"Werner","family":"Damm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bengt","family":"Jonsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,4]]},"reference":[{"key":"22_CR1","unstructured":"Euro-Interlocking Requirements, September 2001, see http:\/\/www.eurolock.org"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"W. Damm and J. Klose. Verification of a Radio-based Signaling System Using the Statemate Verification Environment. Formal Methods in System Design, Vol 19(2), 2001.","DOI":"10.1023\/A:1011279932612"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"D. Harel and E. Gery. Executable Object Modelling with Statecharts. IEEE Computer, July 1997, 31\u201342","DOI":"10.1109\/2.596624"},{"issue":"5","key":"22_CR4","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1145\/322374.322380","volume":"2","author":"D. Brand","year":"1983","unstructured":"D. Brand and P. Zafiropulo. On communicating finite-state machines. Journal of the ACM, 2(5):323\u2013342, April 1983.","journal-title":"Journal of the ACM"},{"key":"22_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Proc.3rd Int. Conf. on Computer Aided Verification","author":"A.P. Sistla","year":"1991","unstructured":"A.P. Sistla and L.D. Zuck. Automatic temporal verification of buffer systems. in Larsen and Skou, editors, Proc.3rd Int. Conf. on Computer Aided Verification, volume 575 of Lecture Notes in Computer Science, Springer Verlag, 1991."},{"issue":"3","key":"22_CR6","first-page":"209","volume":"6","author":"M.G. Gouda","year":"1987","unstructured":"M.G. Gouda, E.M. Gurari, T.-H. Lai, and L.E. Rosier. On deadlock detection in systems of communicating finite state machines. Computers and Artificial Intelligence, 6(3):209\u2013228, 1987.","journal-title":"Computers and Artificial Intelligence"},{"key":"22_CR7","unstructured":"J.K. Pachl. Protocol description and analysis based on a state transition model with channel expressions. In Protocol Specification, Testing, and Verification VII, May 1987."},{"key":"22_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BFb0028754","volume-title":"Proc. 10th Int. Conf. on Computer Aided Verification","author":"P. A. Abdulla","year":"1998","unstructured":"P. A. Abdulla, A. Bouajjani, and B. Jonsson. On-the-fly analysis of systems with unbounded, lossy FIFO channels. In Proc. 10th Int. Conf. on Computer Aided Verification, volume 1427 of Lecture Notes in Computer Science, pages 305\u2013318, 1998."},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"W. Peng and S. Purushothaman. Dataflow analysis of communicating finite state machines. ACM Trans. on Progr. Languages and Systems 13(3):399\u2013442, July 1991.","DOI":"10.1145\/117009.117015"},{"key":"22_CR10","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proc. 8th Int. Conf. on Computer Aided Verification","author":"B. Boigelot","year":"1996","unstructured":"B. Boigelot and P. Godefroid. Symbolic verification of communication protocols with infinite statespaces using QDDs. In Alur and Henzinger, editors, Proc. 8th Int. Conf. on Computer Aided Verification, volume 1102 of Lecture Notes in Computer Science, pages 1\u201312. Springer Verlag, 1996."},{"key":"22_CR11","series-title":"Lect Notes Comput Sci","volume-title":"Proc. 4th Int. Static Analysis Symposium","author":"B. Boigelot","year":"1997","unstructured":"B. Boigelot, P. Godefroid, B. Willems, and P. Wolper. The power of QDDs. In Proc. 4th Int. Static Analysis Symposium, Lecture Notes in Computer Science. Springer Verlag, 1997."},{"key":"22_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Proc. ICALP 97","author":"A. Bouajjani","year":"1997","unstructured":"A. Bouajjani and P. Habermehl. Symbolic reachability analysis of FIFO channel systems with nonregular sets of configurations. in Proc. ICALP 97, volume 1256 of Lecture Notes in Computer Science, 1997."},{"key":"22_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44685-0_1","volume-title":"Proc. CONCUR 2001, 12th int. Conf. on Concurrency Theory","author":"P.A. Abdulla","year":"2001","unstructured":"P.A. Abdulla and B. Jonsson. Channel representations in protocol verification. in Proc. CONCUR 2001, 12th int. Conf. on Concurrency Theory, volume 2154 of Lecture Notes in Computer Science, pages 1\u201315, 2001."},{"key":"22_CR14","unstructured":"B. Westphal Exploiting Object Symmetry in Verification of UML-Designs, Diplomarbeit, Carl von Ossietzky Universit\u00e4t, 2001"},{"key":"22_CR15","volume-title":"Technical Report","author":"W. Damm","year":"2002","unstructured":"W. Damm and A. Pnueli. An Active Object Model. Technical Report, OFFIS, Oldenburg, FRG, 2002."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45739-9_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T00:54:48Z","timestamp":1556412888000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45739-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441656","9783540457398"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45739-9_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}