{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:49:58Z","timestamp":1725745798484},"publisher-location":"Berlin, Heidelberg","reference-count":63,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642406140"},{"type":"electronic","value":"9783642406157"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40615-7_3","type":"book-chapter","created":{"date-parts":[[2013,8,22]],"date-time":"2013-08-22T01:08:02Z","timestamp":1377133682000},"page":"83-118","source":"Crossref","is-referenced-by-count":3,"title":["Verification of Open Concurrent Object Systems"],"prefix":"10.1007","author":[{"given":"Ilham W.","family":"Kurnia","sequence":"first","affiliation":[]},{"given":"Arnd","family":"Poetzsch-Heffter","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/3-540-45931-6_2","volume-title":"Foundations of Software Science and Computation Structures","author":"E. \u00c1brah\u00e1m-Mumm","year":"2002","unstructured":"\u00c1brah\u00e1m-Mumm, E., de Boer, F.S., de Roever, W.-P., Steffen, M.: Verification for Java\u2019s reentrant multithreading concept. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol.\u00a02303, pp. 5\u201320. Springer, Heidelberg (2002)"},{"issue":"7","key":"3_CR2","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1016\/j.jlap.2009.01.001","volume":"78","author":"E. \u00c1brah\u00e1m","year":"2009","unstructured":"\u00c1brah\u00e1m, E., Grabe, I., Gr\u00fcner, A., Steffen, M.: Behavioral interface description of an object-oriented language with futures and promises. J. Log. Algebr. Program.\u00a078(7), 491\u2013518 (2009)","journal-title":"J. Log. Algebr. Program."},{"key":"3_CR3","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"G. Agha","year":"1986","unstructured":"Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)"},{"issue":"1","key":"3_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S095679689700261X","volume":"7","author":"G. Agha","year":"1997","unstructured":"Agha, G., Mason, I.A., Smith, S.F., Talcott, C.L.: A foundation for actor computation. J. Funct. Program.\u00a07(1), 1\u201372 (1997)","journal-title":"J. Funct. Program."},{"issue":"12","key":"3_CR5","doi-asserted-by":"publisher","first-page":"1289","DOI":"10.1016\/j.scico.2010.08.003","volume":"77","author":"W. Ahrendt","year":"2012","unstructured":"Ahrendt, W., Dylla, M.: A system for compositional verification of asynchronous objects. Sci. Comput. Program.\u00a077(12), 1289\u20131309 (2012)","journal-title":"Sci. Comput. Program."},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/1810891.1810910","volume":"53","author":"J. Armstrong","year":"2010","unstructured":"Armstrong, J.: Erlang. Commun. ACM\u00a053, 68\u201375 (2010)","journal-title":"Commun. ACM"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1007\/3-540-48119-2_38","volume-title":"FM\u201999 - Formal Methods","author":"T. Arts","year":"1999","unstructured":"Arts, T., Dam, M.: Verifying a distributed database lookup manager written in Erlang. In: Wing, J.M., Woodcock, J. (eds.) FM 1999. LNCS, vol.\u00a01708, pp. 682\u2013700. Springer, Heidelberg (1999)"},{"key":"3_CR8","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press (2008)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Baker Jr., H.G., Hewitt, C.: The incremental garbage collection of processes. SIGART Bull., 55\u201359 (August 1977)","DOI":"10.1145\/872736.806932"},{"issue":"1-2","key":"3_CR10","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00304-2","volume":"274","author":"F.S. Boer de","year":"2002","unstructured":"de Boer, F.S.: A Hoare logic for dynamic networks of asynchronously communicating deterministic processes. Theor. Comput. Sci.\u00a0274(1-2), 3\u201341 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/978-3-540-71316-6_22","volume-title":"Programming Languages and Systems","author":"F.S. Boer de","year":"2007","unstructured":"de Boer, F.S., Clarke, D., Johnsen, E.B.: A complete guide to the future. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 316\u2013330. Springer, Heidelberg (2007)"},{"key":"3_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement","author":"M. Broy","year":"2001","unstructured":"Broy, M., St\u00f8len, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, New York (2001)"},{"key":"3_CR13","unstructured":"Cardelli, L.: Class-based vs. object-based languages. PLDI Tutorial (1996)"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/3-540-48737-9_5","volume-title":"Formal Syntax and Semantics of Java","author":"P. Cenciarelli","year":"1999","unstructured":"Cenciarelli, P., Knapp, A., Reus, B., Wirsing, M.: An event-based structural operational semantics of multi-threaded Java. In: Alves-Foss, J. (ed.) Formal Syntax and Semantics of Java. LNCS, vol.\u00a01523, pp. 157\u2013200. Springer, Heidelberg (1999)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-36946-9_3","volume-title":"Aliasing in Object-Oriented Programming. Types, Analysis and Verification","author":"D. Clarke","year":"2013","unstructured":"Clarke, D., \u00d6stlund, J., Sergey, I., Wrigstad, T.: Ownership types: A survey. In: Clarke, D., Noble, J., Wrigstad, T. (eds.) Aliasing in Object-Oriented Programming. LNCS, vol.\u00a07850, pp. 15\u201358. Springer, Heidelberg (2013)"},{"key":"3_CR16","unstructured":"Clinger, W.D.: Foundations of Actor Semantics. Ph.D. thesis, Massachusetts Institute of Technology, Cambridge, MA (1981)"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/3-540-49213-5_7","volume-title":"Compositionality: The Significant Difference","author":"M. Dam","year":"1998","unstructured":"Dam, M., Fredlund, L.-\u00c5., Gurov, D.: Toward parametric verification of open distributed systems. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol.\u00a01536, pp. 150\u2013185. Springer, Heidelberg (1998)"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Darlington, J., Guo, Y.: Formalising actors in linear logic. In: OOIS, pp. 37\u201353 (1994)","DOI":"10.1007\/978-1-4471-3016-1_3"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. De Nicola","year":"1984","unstructured":"De Nicola, R., Hennessy, M.: Testing equivalences for processes. Theor. Comput. Sci.\u00a034, 83\u2013133 (1984)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"3_CR20","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/j.jlap.2012.01.003","volume":"81","author":"C.C. Din","year":"2012","unstructured":"Din, C.C., Dovland, J., Johnsen, E.B., Owe, O.: Observable behavior of distributed systems: Component reasoning for concurrent objects. J. Log. Algebr. Program.\u00a081(3), 227\u2013256 (2012)","journal-title":"J. Log. Algebr. Program."},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Din, C.C., Dovland, J., Owe, O.: An approach to compositional reasoning about concurrent objects and futures. Research Report 415 (2012)","DOI":"10.1007\/978-3-642-33826-7_7"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-642-33826-7_7","volume-title":"Software Engineering and Formal Methods","author":"C.C. Din","year":"2012","unstructured":"Din, C.C., Dovland, J., Owe, O.: Compositional reasoning about shared futures. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.) SEFM 2012. LNCS, vol.\u00a07504, pp. 94\u2013108. Springer, Heidelberg (2012)"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Dovland, J., Johnsen, E.B., Owe, O.: Verification of concurrent objects with asynchronous method calls. In: SwSTE, pp. 141\u2013150. IEEE Computer Society (2005)","DOI":"10.1016\/j.entcs.2004.06.012"},{"issue":"3","key":"3_CR24","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1017\/S0960129599002765","volume":"9","author":"C.H.C. Duarte","year":"1999","unstructured":"Duarte, C.H.C.: Proof-Theoretic foundations for the design of actor systems. Mathematical Structures in Computer Science\u00a09(3), 227\u2013252 (1999)","journal-title":"Mathematical Structures in Computer Science"},{"key":"3_CR25","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Longman Publishing Co., Inc., Boston (1995)"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Gusfield, D.: Algorithms on Strings, Trees, and Sequences - Computer Science and Computational Biology. Cambridge University Press (1997)","DOI":"10.1017\/CBO9780511574931"},{"key":"3_CR27","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"FMCO 2012","author":"R. H\u00e4hnle","year":"2013","unstructured":"H\u00e4hnle, R.: The Abstract Behavioral Specification language: A tutorial introduction. In: de Boer, F., Bonsangue, M., Giachino, E., H\u00e4hnle, R. (eds.) FMCO 2012. LNCS, vol.\u00a07866, pp. 1\u201337. Springer, Heidelberg (2013)"},{"key":"3_CR28","first-page":"1","volume-title":"AGERE! 2012","author":"P. Haller","year":"2012","unstructured":"Haller, P.: On the integration of the actor model in mainstream technologies: The Scala perspective. In: AGERE! 2012, pp. 1\u20136. ACM, New York (2012)"},{"issue":"10","key":"3_CR29","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM\u00a012(10), 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"issue":"8","key":"3_CR30","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM\u00a021(8), 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"key":"3_CR31","unstructured":"International Telecommunication Union: Open distributed processing \u2013 reference models parts 1\u20134. Tech. rep., ISO\/IEC (1995)"},{"key":"3_CR32","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.entcs.2009.07.007","volume":"243","author":"E.B. Johnsen","year":"2009","unstructured":"Johnsen, E.B., Blanchette, J.C., Kyas, M., Owe, O.: Intra-Object versus Inter-Object: Concurrency and reasoning in Creol. Electr. Notes Theor. Comput. Sci.\u00a0243, 89\u2013103 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"3_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-642-25271-6_8","volume-title":"Formal Methods for Components and Objects","author":"E.B. Johnsen","year":"2011","unstructured":"Johnsen, E.B., H\u00e4hnle, R., Sch\u00e4fer, J., Schlatte, R., Steffen, M.: ABS: A core language for abstract behavioral specification. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol.\u00a06957, pp. 142\u2013164. Springer, Heidelberg (2011)"},{"issue":"1-2","key":"3_CR34","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.tcs.2006.07.031","volume":"365","author":"E.B. Johnsen","year":"2006","unstructured":"Johnsen, E.B., Owe, O., Yu, I.C.: Creol: A type-safe object-oriented model for distributed concurrent systems. Theor. Comput. Sci.\u00a0365(1-2), 23\u201366 (2006)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"3_CR35","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/BF02280834","volume":"7","author":"B. Jonsson","year":"1994","unstructured":"Jonsson, B.: A fully abstract trace model for dataflow and asynchronous networks. Distributed Computing\u00a07(4), 197\u2013212 (1994)","journal-title":"Distributed Computing"},{"key":"3_CR36","unstructured":"Kahn, G.: The semantics of simple language for parallel programming. In: IFIP Congress, pp. 471\u2013475 (1974)"},{"key":"3_CR37","first-page":"47","volume-title":"AGERE! 2012","author":"I.W. Kurnia","year":"2012","unstructured":"Kurnia, I.W., Poetzsch-Heffter, A.: A relational trace logic for simple hierarchical actor-based component systems. In: AGERE! 2012, pp. 47\u201358. ACM, New York (2012), http:\/\/doi.acm.org\/10.1145\/2414639.2414647"},{"issue":"2","key":"3_CR38","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1145\/2993.357247","volume":"6","author":"L. Lamport","year":"1984","unstructured":"Lamport, L., Schneider, F.B.: The \u201cHoare logic\u201d of CSP, and all that. ACM Trans. Program. Lang. Syst.\u00a06(2), 281\u2013296 (1984), http:\/\/doi.acm.org\/10.1145\/2993.357247","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"3_CR39","unstructured":"Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann (1996)"},{"key":"3_CR40","unstructured":"Microsoft: Component Object Model (COM) (January 1999), http:\/\/www.microsoft.com\/com\/default.asp"},{"key":"3_CR41","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1982","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer-Verlag New York, Inc., Secaucus (1982)"},{"key":"3_CR42","unstructured":"Milner, R.: Communicating and Mobile Systems \u2013 The \u03c0-Calculus. Cambridge University Press (1999)"},{"issue":"4","key":"3_CR43","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1109\/TSE.1981.230844","volume":"7","author":"J. Misra","year":"1981","unstructured":"Misra, J., Chandy, K.M.: Proofs of networks of processes. IEEE Trans. Software Eng.\u00a07(4), 417\u2013426 (1981)","journal-title":"IEEE Trans. Software Eng."},{"key":"3_CR44","doi-asserted-by":"crossref","unstructured":"Nain, S., Vardi, M.Y.: Trace semantics is fully abstract. In: LICS, pp. 59\u201368. IEEE Computer Society (2009)","DOI":"10.1109\/LICS.2009.12"},{"issue":"3","key":"3_CR45","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1145\/44501.44504","volume":"10","author":"E.R. Olderog","year":"1988","unstructured":"Olderog, E.R., Apt, K.R.: Fairness in parallel programs: the transformational approach. ACM Trans. Program. Lang. Syst.\u00a010(3), 420\u2013455 (1988)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"3_CR46","unstructured":"OMG: CORBA component model v4.0 (2006), http:\/\/www.omg.org\/spec\/CCM\/"},{"issue":"10","key":"3_CR47","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1002\/1096-9128(20000825)12:10<917::AID-CPE517>3.0.CO;2-F","volume":"12","author":"M. Philippsen","year":"2000","unstructured":"Philippsen, M.: A survey of concurrent object-oriented languages. Concurrency - Practice and Experience\u00a012(10), 917\u2013980 (2000)","journal-title":"Concurrency - Practice and Experience"},{"key":"3_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-642-34026-0_8","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"A. Poetzsch-Heffter","year":"2012","unstructured":"Poetzsch-Heffter, A., Feller, C., Kurnia, I.W., Welsch, Y.: Model-based compatibility checking of system modifications. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 97\u2013111. Springer, Heidelberg (2012)"},{"key":"3_CR49","unstructured":"de Roever, W.P., de Boer, F.S., Hannemann, U., Hooman, J., Lakhnech, Y., Poel, M., Zwiers, J.: Concurrency Verification: Introduction to Compositional and Noncompositional Methods. Cambridge Tracts in Theoretical Computer Science, vol.\u00a054. Cambridge University Press (2001)"},{"key":"3_CR50","unstructured":"Roth, A.: Specification and Verification of Object-Oriented Software Components. Ph.D. thesis, University of Karlsruhe (2006)"},{"key":"3_CR51","unstructured":"Sangiorgi, D., Walker, D.: The Pi-Calculus \u2013 A Theory of Mobile Processes. Cambridge University Press (2001)"},{"key":"3_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/3-540-45397-0_18","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"S. Schacht","year":"2001","unstructured":"Schacht, S.: Formal reasoning about actor programs using temporal logic. In: Agha, G., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol.\u00a02001, pp. 445\u2013460. Springer, Heidelberg (2001)"},{"key":"3_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-642-14107-2_13","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"J. Sch\u00e4fer","year":"2010","unstructured":"Sch\u00e4fer, J., Poetzsch-Heffter, A.: JCoBox: Generalizing active objects to concurrent components. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol.\u00a06183, pp. 275\u2013299. Springer, Heidelberg (2010)"},{"issue":"4","key":"3_CR54","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1023\/A:1022934504959","volume":"15","author":"S.F. Smith","year":"2002","unstructured":"Smith, S.F., Talcott, C.L.: Specification diagrams for actor systems. Higher-Order and Symbolic Computation\u00a015(4), 301\u2013348 (2002)","journal-title":"Higher-Order and Symbolic Computation"},{"issue":"1-2","key":"3_CR55","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/0304-3975(84)90122-1","volume":"31","author":"N. Soundarajan","year":"1984","unstructured":"Soundarajan, N.: A proof technique for parallel programs. Theoretical Computer Science\u00a031(1-2), 13\u201329 (1984)","journal-title":"Theoretical Computer Science"},{"key":"3_CR56","unstructured":"Steffen, M.: Object-Connectivity and Observability for Class-Based, Object-Oriented Languages. Habilitation thesis, Technische Faktult\u00e4t der Christian-Albrechts-Universit\u00e4t zu Kiel, 281 pages (Jul 2006)"},{"key":"3_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-53932-8_41","volume-title":"Concurrency: Theory, Language, and Architecture","author":"C. Stirling","year":"1991","unstructured":"Stirling, C.: An introduction to modal and temporal logics for CCS. In: Yonezawa, A., Ito, T. (eds.) UK\/Japan WS 1989. LNCS, vol.\u00a0491, pp. 1\u201320. Springer, Heidelberg (1991)"},{"issue":"3","key":"3_CR58","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1023\/A:1010042915896","volume":"11","author":"C.L. Talcott","year":"1998","unstructured":"Talcott, C.L.: Composable semantic models for actor theories. Higher-Order and Symbolic Computation\u00a011(3), 281\u2013343 (1998)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"3_CR59","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/978-3-540-27815-3_39","volume-title":"Algebraic Methodology and Software Technology","author":"P. Thati","year":"2004","unstructured":"Thati, P., Talcott, C., Agha, G.: Techniques for executing and reasoning about specification diagrams. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol.\u00a03116, pp. 521\u2013536. Springer, Heidelberg (2004)"},{"key":"3_CR60","unstructured":"The OSGi Alliance: OSGi core release 5 (2012), http:\/\/www.osgi.org"},{"key":"3_CR61","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/3-540-55613-3_7","volume-title":"Object-Based Concurrent Computing","author":"V.T. Vasconcelos","year":"1992","unstructured":"Vasconcelos, V.T., Tokoro, M.: Traces semantics for actor systems. In: Zatarain-Cabada, R., Wang, J. (eds.) ECOOP-WS 1991. LNCS, vol.\u00a0612, pp. 141\u2013162. Springer, Heidelberg (1992)"},{"key":"3_CR62","doi-asserted-by":"crossref","unstructured":"Widom, J., Gries, D., Schneider, F.B.: Completeness and incompleteness of trace-based network proof systems. In: POPL, pp. 27\u201338 (1987)","DOI":"10.1145\/41625.41628"},{"key":"3_CR63","doi-asserted-by":"crossref","unstructured":"Yonezawa, A., Briot, J.P., Shibayama, E.: Object-oriented concurrent programming in ABCL\/1. In: OOPSLA, pp. 258\u2013268 (1986)","DOI":"10.1145\/960112.28722"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40615-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,4]],"date-time":"2022-03-04T14:01:24Z","timestamp":1646402484000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40615-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642406140","9783642406157"],"references-count":63,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40615-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}