{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:23:18Z","timestamp":1725470598379},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540409274"},{"type":"electronic","value":"9783540409281"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11860990_16","type":"book-chapter","created":{"date-parts":[[2006,9,15]],"date-time":"2006-09-15T23:05:22Z","timestamp":1158361522000},"page":"251-270","source":"Crossref","is-referenced-by-count":1,"title":["Internal and External Token-Based Synchronization in Object-Oriented Languages"],"prefix":"10.1007","author":[{"given":"Franz","family":"Puntigam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/BFb0053387","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"F. Puntigam","year":"1997","unstructured":"Puntigam, F.: Coordination requirements expressed in types for active objects. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 367\u2013388. Springer, Heidelberg (1997)"},{"key":"16_CR2","volume-title":"Concurrent Object-Oriented Programming with Process Types","author":"F. Puntigam","year":"2000","unstructured":"Puntigam, F.: Concurrent Object-Oriented Programming with Process Types. Der Andere Verlag, Osnabr\u00fcck (2000)"},{"key":"16_CR3","unstructured":"Puntigam, F.: Client and server synchronization expressed in types. In: Proceedings of the OOPSLA 2005 Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL), San Diego, USA (2005)"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1145\/167962.165863","volume":"28","author":"B. Liskov","year":"1993","unstructured":"Liskov, B., Wing, J.M.: Specifications and their use in defining subtypes. ACM SIGPLAN Notices\u00a028, 16\u201328 (1993); Proceedings OOPSLA 1993","journal-title":"ACM SIGPLAN Notices"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/3-540-45910-3_4","volume-title":"ECOOP \u201988 European Conference on Object-Oriented Programming","author":"P. Wegner","year":"1988","unstructured":"Wegner, P., Zdonik, S.B.: Inheritance as an incremental modification mechanism or what like is and isn\u2019t like. In: Gjessing, S., Nygaard, K. (eds.) ECOOP 1988. LNCS, vol.\u00a0322, pp. 55\u201377. Springer, Heidelberg (1988)"},{"key":"16_CR6","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1109\/TSE.1975.6312840","volume":"1","author":"P. Brinch-Hansen","year":"1975","unstructured":"Brinch-Hansen, P.: The programming language Concurrent Pascal. IEEE Transactions on Software Engineering\u00a01, 199\u2013207 (1975)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR7","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. Communications of the ACM\u00a021, 666\u2013677 (1978)","journal-title":"Communications of the ACM"},{"key":"16_CR8","first-page":"388","volume-title":"OOPSLA 1993","author":"T. Harris","year":"2003","unstructured":"Harris, T., Fraser, K.: Language support for leightweight transactions. In: OOPSLA 1993, Anaheim, California, USA, pp. 388\u2013402. ACM, New York (2003)"},{"key":"16_CR9","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1145\/2166.357215","volume":"5","author":"B. Liskov","year":"1983","unstructured":"Liskov, B., Scheifler, R.: Guardians and actions: Linguistic support for robust, distributed programs. ACM Transactions on Programming Languages and Systems\u00a05, 381\u2013404 (1983)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE\u00a077, 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"16_CR11","unstructured":"DeLine, R., F\u00e4hndrich, M.: The fugue protocol checker: Is your software baroque? Technical report, Microsoft Research (2004), http:\/\/www.research.microsoft.com"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"914","DOI":"10.1145\/330249.330251","volume":"21","author":"N. Kobayashi","year":"1999","unstructured":"Kobayashi, N., Pierce, B., Turner, D.: Linearity and the pi-calculus. ACM Transactions on Programming Languages and Systems\u00a021, 914\u2013947 (1999)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR13","volume-title":"Proceedings FMOODS 1997","author":"E. Najm","year":"1997","unstructured":"Najm, E., Nimour, A.: A calculus of object bindings. In: Proceedings FMOODS 1997, Canterbury, United Kingdom. Chapman and Hall, Boca Raton (1997)"},{"key":"16_CR14","unstructured":"Puntigam, F.: Type specifications with processes. In: Proceedings FORTE 1995, Montreal, Canada, IFIP WG 6.1. Chapman & Hall, Boca Raton (1995)"},{"key":"16_CR15","volume-title":"Eiffel: The Language","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Eiffel: The Language. Prentice-Hall, Englewood Cliffs (1992)"},{"key":"16_CR16","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/162685.162711","volume":"36","author":"D. Caromel","year":"1993","unstructured":"Caromel, D.: Toward a method of object-oriented concurrent programming. Communications of the ACM\u00a036, 90\u2013101 (1993)","journal-title":"Communications of the ACM"},{"key":"16_CR17","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/162685.162705","volume":"36","author":"B. Meyer","year":"1993","unstructured":"Meyer, B.: Systematic concurrent object-oriented programming. Communications of the ACM\u00a036, 56\u201380 (1993)","journal-title":"Communications of the ACM"},{"key":"16_CR18","unstructured":"ISO\/IEC 8652:1995: Annotated ada reference manual. Intermetrics, Inc. (1995)"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Bacon, D.F., Strom, R.E., Tarafdar, A.: Guava: A dialect of Java without data races. In: OOPSLA 2000 (2000)","DOI":"10.1145\/353171.353197"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-49099-X_7","volume-title":"Programming Languages and Systems","author":"F. Flanagan","year":"1999","unstructured":"Flanagan, F., Abadi, M.: Types for safe locking. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol.\u00a01576, p. 91. Springer, Heidelberg (1999)"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Choi, J.D., Gupta, M., Serrano, M., Sreedhar, V.C., Midkiff, S.: Escape analysis for Java. In: OOPSLA 1999, Denver, Colorado (1999)","DOI":"10.1145\/320384.320386"},{"key":"16_CR22","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1145\/781131.781145","volume-title":"PLDI 2003","author":"C. Praun von","year":"2003","unstructured":"von Praun, C., Gross, T.R.: Static conflict analysis for multi-threaded object-oriented programs. In: PLDI 2003, pp. 115\u2013128. ACM Press, New York (2003)"},{"key":"16_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1007\/BFb0084816","volume-title":"CONCUR \u201992","author":"G. Agha","year":"1992","unstructured":"Agha, G., Mason, I.A., Smith, S., Talcott, C.: Towards a theory of actor computation. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol.\u00a0630, pp. 565\u2013579. Springer, Heidelberg (1992)"},{"key":"16_CR24","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)","edition":"2"},{"key":"16_CR25","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.scico.2004.05.010","volume":"55","author":"F. Arbab","year":"2005","unstructured":"Arbab, F.: Abstract behavior types: A foundation model for components and their composition. Science of Computer Programming\u00a055, 3\u201352 (2005)","journal-title":"Science of Computer Programming"},{"key":"16_CR26","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/s00165-004-0043-8","volume":"16","author":"E.A. Lee","year":"2004","unstructured":"Lee, E.A., Xiong, Y.: A behavioral type system and its application in Ptolemy II. Formal Aspects of Computing\u00a016, 210\u2013237 (2004)","journal-title":"Formal Aspects of Computing"},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"Nierstrasz, O.: Regular types for active objects. In: Proceedings OOPSLA 1993. ACM SIGPLAN Notices, vol.\u00a028, pp. 1\u201315 (1993)","DOI":"10.1145\/165854.167976"},{"key":"16_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1007\/3-540-57208-2_34","volume-title":"CONCUR\u201993","author":"F. Nielson","year":"1993","unstructured":"Nielson, F., Nielson, H.R.: From CML to process algebras. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 493\u2013508. Springer, Heidelberg (1993)"},{"key":"16_CR29","volume-title":"Proceedings FMOODS 1997","author":"J.-L. Colaco","year":"1997","unstructured":"Colaco, J.-L., Pantel, M., Salle, P.: A set-constraint-based analysis of actors. In: Proceedings FMOODS 1997, Canterbury, United Kingdom. Chapman and Hall, Boca Raton (1997)"},{"key":"16_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1007\/BFb0002782","volume-title":"Euro-Par \u201997 Parallel Processing","author":"A. Ravara","year":"1997","unstructured":"Ravara, A., Vasconcelos, V.T.: Behavioural types for a calculus of concurrent objects. In: Lengauer, C., Griebl, M., Gorlatch, S. (eds.) Euro-Par 1997. LNCS, vol.\u00a01300, pp. 554\u2013561. Springer, Heidelberg (1997)"},{"key":"16_CR31","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1145\/1018203.1018205","volume":"26","author":"N. Benton","year":"2004","unstructured":"Benton, N., Cardelli, L., Fournet, C.: Modern concurrency abstractions for C#. ACM Transactions on Programming Languages and Systems\u00a026, 269\u2013804 (2004)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR32","doi-asserted-by":"crossref","unstructured":"Drossopoulou, S., Petrounias, A., Buckley, A., Eisenbach, S.: School: A small chorded object-oriented language. In: Proceedings of ICALP Workshop on Developments in Computational Models (2005)","DOI":"10.1016\/j.entcs.2005.09.019"},{"key":"16_CR33","volume-title":"Proceedings of the European Symposium on Programming","author":"M. Odersky","year":"2000","unstructured":"Odersky, M.: Functional nets. In: Proceedings of the European Symposium on Programming. Springer, Heidelberg (2000)"},{"key":"16_CR34","doi-asserted-by":"crossref","unstructured":"Fournet, C., Gonthier, G.: The reflexive cham and the join-calculus. In: Proceedings of the 23rd ACM Symposium on Principles of Programming Languages, pp. 372\u2013385 (1996)","DOI":"10.1145\/237721.237805"}],"container-title":["Lecture Notes in Computer Science","Modular Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11860990_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:43:47Z","timestamp":1605624227000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11860990_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540409274","9783540409281"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/11860990_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}