{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:08Z","timestamp":1725663608713},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540569398"},{"type":"electronic","value":"9783540478263"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56939-1_99","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:56:38Z","timestamp":1330257398000},"page":"519-531","source":"Crossref","is-referenced-by-count":4,"title":["Deciding true concurrency equivalences on finite safe nets (preliminary report)"],"prefix":"10.1007","author":[{"given":"Lalita","family":"Jategaonkar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Albert","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"43_CR1","doi-asserted-by":"crossref","unstructured":"C. Alvarez, B. J., J. Gabarro, and M. Santa. Parallel complexity in the design and analysis of concurrent systems. In Proceedings of PARLE '91, Volume 505 of the Lecture Notes in Computer Science, pages 288\u2013303, 1991.","DOI":"10.1007\/978-3-662-25209-3_20"},{"key":"43_CR2","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/BF01178506","volume":"28","author":"E. Best","year":"1991","unstructured":"E. Best, R. Devillers, A. Kiehn, and L. Pomello. Concurrent bisimulations in Petri Nets. Acta Inf., 28:231\u2013264, 1991.","journal-title":"Acta Inf."},{"key":"43_CR3","doi-asserted-by":"crossref","unstructured":"G. Boudol and I. Castellani. On the semantics of concurrency: Partial orders and transition systems. In Proceedings of TAPSOFT '87, Volume 249 of the Lecture Notes in Computer Science, pages 123\u2013137, 1987.","DOI":"10.1007\/3-540-17660-8_52"},{"issue":"3","key":"43_CR4","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S. D. Brookes","year":"1984","unstructured":"S. D. Brookes, C. A. R. Hoare, and A. W. Roscoe. A theory of communicating sequential processes. J. ACM, 31(3):560\u2013599, July 1984.","journal-title":"J. ACM"},{"key":"43_CR5","doi-asserted-by":"crossref","unstructured":"S. D. Brookes and A. W. Roscoe. An improved failures model for communicating processes. In Seminar on Concurrency, Volume 197 of Lecture Notes in Computer Science, pages 281\u2013305, 1984.","DOI":"10.1007\/3-540-15670-4_14"},{"issue":"1","key":"43_CR6","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0304-3975(92)90298-T","volume":"102","author":"R. Devillers","year":"1992","unstructured":"R. Devillers. Maximality preserving bisimulation. Theor. Comput. Sci., 102(1):165\u2013184, Aug. 1992.","journal-title":"Theor. Comput. Sci."},{"key":"43_CR7","unstructured":"J. E. Hopcroft and J. D. Ullman. Introduction to automata theory, languages, and computation. Addison-Wesley, 1979."},{"key":"43_CR8","doi-asserted-by":"crossref","unstructured":"L. Jategaonkar and A. R. Meyer. Testing equivalence for Petri nets with action refinement. In Proceedings of CONCUR '92, Volume 630 of the Lecture Notes in Computer Science, pages 17\u201331, 1992.","DOI":"10.1007\/BFb0084780"},{"key":"43_CR9","doi-asserted-by":"crossref","unstructured":"L. Jategaonkar and A. R. Meyer. Self-synchronization of concurrent processes. To appear in the Proceedings of LICS, 1993.","DOI":"10.1109\/LICS.1993.287567"},{"issue":"1","key":"43_CR10","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0890-5401(90)90025-D","volume":"86","author":"P. Kannelakis","year":"1990","unstructured":"P. Kannelakis and S. Smolka. CCS expressions, finite state processes, and three problems of equivalence. Inf. Comput., 86(1):43\u201368, 1990.","journal-title":"Inf. Comput."},{"key":"43_CR11","volume-title":"Technical report","author":"A. J. Mayer","year":"1992","unstructured":"A. J. Mayer and L. J. Stockmeyer. The complexity of word problems \u2014 this time with interleaving. Technical report, IBM Research Division, Almaden Research Center, San Jose, CA, Sept. 1992."},{"key":"43_CR12","unstructured":"R. Milner. Communication and Concurrency. Series in Computer Science. Prentice-Hall, Inc., 1989."},{"key":"43_CR13","doi-asserted-by":"crossref","unstructured":"A. Rabinovich. Checking equivalences between concurrent systems of finite agents. In Proceedings of ICALP '92, Volume 379 of the Lecture Series in Computer Science, pages 696\u2013707, 1992.","DOI":"10.1007\/3-540-55719-9_115"},{"issue":"4","key":"43_CR14","doi-asserted-by":"crossref","first-page":"357","DOI":"10.3233\/FI-1988-11404","volume":"11","author":"A. Rabinovich","year":"1988","unstructured":"A. Rabinovich and B. Trakhtenbrot. Behavior structures and nets of processes. Fundamenta Informaticae, 11(4):357\u2013404, 1988.","journal-title":"Fundamenta Informaticae"},{"key":"43_CR15","unstructured":"L. Stockmeyer, Jan. 1992. Unpublished notes."},{"issue":"2","key":"43_CR16","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/BF00265151","volume":"27","author":"D. Taubner","year":"1989","unstructured":"D. Taubner and W. Vogler. Step failures semantics and a complete proof system. Acta Inf., 27(2):125\u2013156, Nov. 1989.","journal-title":"Acta Inf."},{"key":"43_CR17","doi-asserted-by":"crossref","unstructured":"R. van Glabbeek and U. Goltz. Equivalence notions for concurrent systems and refinement of actions. In Proceedings of MFCS '89, Volume 379 of the Lecture Series in Computer Science, pages 237\u2013248, 1989.","DOI":"10.1007\/3-540-51486-4_71"},{"key":"43_CR18","doi-asserted-by":"crossref","unstructured":"R. van Glabbeek and F. Vaandrager. Petri net models for algebraic theories of concurrency. In Proceedings of PARLE '87, Volume 259 of the Lecture Notes in Computer Science, pages 224\u2013242, 1987.","DOI":"10.1007\/3-540-17945-3_13"},{"key":"43_CR19","doi-asserted-by":"crossref","unstructured":"W. Vogler. Bisimulation and action refinement. In Proceedings of STACS '91, Volume 480 of the Lecture Notes in Computer Science, pages 309\u2013321, 1991.","DOI":"10.1007\/BFb0020808"},{"key":"43_CR20","unstructured":"W. Vogler. Bisimulation and action refinement. Technical report, Technische Universit\u00e4t M\u00fcnchen, 1991."},{"key":"43_CR21","doi-asserted-by":"crossref","unstructured":"W. Vogler. Deciding history preserving bisimulation. In Proceedings of ICALP '91, Volume 510 of the Lecture Notes in Computer Science, pages 495\u2013505, 1991.","DOI":"10.1007\/3-540-54233-7_158"},{"key":"43_CR22","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/BF01798961","volume":"4","author":"W. Vogler","year":"1991","unstructured":"W. Vogler. Failures semantics based on interval semiwords is a congruence for refinement. Distributed Computing, 4:139\u2013162, 1991.","journal-title":"Distributed Computing"},{"key":"43_CR23","unstructured":"W. Vogler. Is partial order semantics necessary for action refinement? Technical report, Technische Universit\u00e4t M\u00fcnchen, 1991."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56939-1_99.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T05:08:54Z","timestamp":1640927334000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56939-1_99"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569398","9783540478263"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-56939-1_99","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}