{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:16:31Z","timestamp":1725664591599},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540594505"},{"type":"electronic","value":"9783540492696"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59450-7_7","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:17:12Z","timestamp":1330276632000},"page":"107-124","source":"Crossref","is-referenced-by-count":9,"title":["Abstracting interactions based on message sets"],"prefix":"10.1007","author":[{"given":"Svend","family":"Fr\u00f8lund","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gul","family":"Agha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"7_CR1","unstructured":"S. Abramsky and R. Bornat. Pascal-M: A Language for Loosely Coupled Distributed Systems. In Y. Parker and J.-P. Verjus, editors, Distributed Computing Systems, pages 163\u2013189. Academic Press, 1983."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"J. S. Auerbach, D. F. Bacon, A. P. Goldberg, G. S. Goldszmidt, A. S. Gopal, M. T. Kennedy, A. R. Lowry, J. R. Russell, W. Silverman, R. E. Strom, D. M. Yellin, and S. A. Yemini. High-Level Language Support for Programming Distributed Systems. In In Proceedings of the 1992 International Conference on Computer Languages. IEEE, April 1992.","DOI":"10.1109\/ICCL.1992.185496"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"P. C. Attie, I. R. Forman, and E. Levy. On Fairness as an Abstraction for the Design of Distributed Systems. In Tenth International Conference on Distributed Computing Systems. IEEE, 1990.","DOI":"10.1109\/ICDCS.1990.89279"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"G. Agha, S. Fr\u00d8lund, R. Panwar, and D. Sturman. A Linguistic Framework for Dynamic Composition of Dependability Protocols. In Dependable Computing for Critical Applications III. International Federation of Information Processing Societies (IFIP), Elsevier Scienc Publisher, 1993.","DOI":"10.1007\/978-3-7091-4009-3_15"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.","DOI":"10.7551\/mitpress\/1086.001.0001"},{"issue":"9","key":"7_CR6","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1145\/83880.84528","volume":"33","author":"G. Agha","year":"1990","unstructured":"G. Agha. Concurrent Object-Oriented Programming. Communications of the ACM, 33(9):125\u2013141, September 1990.","journal-title":"Communications of the ACM"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Jean-Marc Andreoli and Remo Pareschi. LO and Behold! Concurrent Structured Processes. In Proceedings OOPSLA\/ECOOP '90, pages 44\u201356, October 1990. Published as ACM SIGPLAN Notices, volume 25, number 10.","DOI":"10.1145\/97946.97953"},{"key":"7_CR8","unstructured":"M. Aksit, K. Wakita, J. Bosch, L. Bergmans, and A. Yonezawa. Abstracting Object Interactions Using Composition Filters. In ECOOP 1993, Lecture Notes in Computer Science. Springer Verlag, 1993. LNCS 791."},{"key":"7_CR9","unstructured":"J. P. Banatre, M. Banatre, and F. Ployette. The Concept of Multi-Function: A General Structuring Tool for Distributed Operating Systems. In Sixth International Conference on Distributed Computing Systems. IEEE, 1986."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"R. J. R. Back and R. Kurki-Suonio. Distributed Cooperation with Action Systems. ACM Transactions on Programming Languages and Systems, 10(4), 1988.","DOI":"10.1145\/48022.48023"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"N. Carriero, D. Gelernter, and J. Leichter. Distributed Data Structures in Linda. In POPL '86 Proceedings. ACM, 1986.","DOI":"10.1145\/512644.512666"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"A. Charlesworth. The Multiway Rendezvous. ACM Transactions on Programming Languages and Systems, 9(2), July 1987.","DOI":"10.1145\/24039.24050"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"E. Cooper. Programming Language Support for Multicast Communication in Distributed Systems. In Proceedings of the Tenth International Conference on Distributed Computing Systems.IEEE, 1990.","DOI":"10.1109\/ICDCS.1990.89314"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"E. W. Dijkstra. Guarded Commands, Nondeterminacy and Formal Derivation of Programs. Communications of the ACM, 18(8), August 1975.","DOI":"10.1145\/360933.360975"},{"issue":"2","key":"7_CR15","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1145\/320251.320260","volume":"3","author":"R. E. Stearns","year":"1978","unstructured":"R. E. Stearns, D. J. Rosenkrantz and P. M. Lewis II, System Level Concurrency Control for Distributed Database Systems. ACM Transactions on Database Systems, 3(2):178\u2013198, June 1978.","journal-title":"ACM Transactions on Database Systems"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"M. Evangelist, N. Francez, and S. Katz. Multiparty Interactions for Interprocess Communication and Synchronization. IEEE Transactions on Software Engineering, 15(11), 1989.","DOI":"10.1109\/32.41333"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"M. Evangelist, V. Y. Shen, I. R. Forman, and M. Graf. Using Raddle to Design Distributed Systems. In Proceedings of the Tenth International Conference on Software Engineering, Singapore. IEEE, 1988.","DOI":"10.1109\/ICSE.1988.93693"},{"key":"7_CR18","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0167-6423(86)90018-3","volume":"6","author":"N. Francez","year":"1986","unstructured":"N. Francez, B. Hailpern, and G. Taubenfeld. Script: A Communication Abstraction Mechanism and its Verification. Science of Computer Programming, 6:35\u201388, 1986.","journal-title":"Science of Computer Programming"},{"key":"7_CR19","unstructured":"S. Gregory. Parallel Logic Programming in PARLOG. Addison-Wesley, first edition, 1987."},{"key":"7_CR20","unstructured":"C. Hewitt and G. Agha. Guarded Horn Clause Languages: Are they Deductive and Logical. In Proceedings of Fifth Generation Computer Systems Conference, Dec. 1988."},{"key":"7_CR21","unstructured":"R. H. Halstead. New Ideas in Parallel Lisp: Language Design, Implementation, and Programming Tools. In Parallel Lisp: Languages and Systems. Springer-Verlag, 1990. LNCS 441."},{"issue":"8","key":"7_CR22","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. Hoare","year":"1978","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Communications of the ACM, 21(8):666\u2013677, August 1978.","journal-title":"Communications of the ACM"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"S. Jagannathan. Customization of First-Class Tuple-Spaces in a Higher-Order Language. In E. H. L. Aarts and J. van Leeuwen, editors, Proceedings of PARLE '91 Parallel Architectures and Languages Europe. Springer Verlag, June 1991. LNCS 506.","DOI":"10.1007\/3-540-54152-7_69"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Y. Joung and S. A. Smolka, Coordinating First-Order Multiparty Interactions. In POPL '91 Proceedings. ACM, 1991.","DOI":"10.1145\/99583.99614"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Kenneth M. Kahn and Vijay A. Saraswat. Actors as a Special Case of Concurrent Constraint Programming. In Proceedings OOPSLA\/ECOOP '90, pages 57\u201365, October 1990. Published as ACM SIGPLAN Notices, volume 25, number 10.","DOI":"10.1145\/97946.97955"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"B. Liskov and L. Shrira. Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems. In Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation, June 1988.","DOI":"10.1145\/53990.54016"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Satoshi Matsuoka and Satoru Kawai. Using Tuple Space Communication in Distributed Object-Oriented Languages. In Proceedings OOPSLA '88, pages 276\u2013284, November 1988. Published as ACM SIGPLAN Notices, volume 23, number 11.","DOI":"10.1145\/62083.62108"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"D. May, R. Shepherd, and C. Keane. Communicating Process Architecture: Transputer and Occam. In P. Treleaven and M. Vanneschi, editors, Future Parallel Architecture, pages 35\u201381. Springer-Verlag, 1986. LNCS 272.","DOI":"10.1007\/3-540-18203-9_2"},{"key":"7_CR29","unstructured":"J. H. Reppy. Higher-Order Concurrency. PhD thesis, Cornell University, June 1992. Published as Technical Report 92-1285."},{"key":"7_CR30","unstructured":"V. Saraswat, K. Kahn, and J. Levy. JANUS: A Step Towards Distributed Constraint Programming. Technical Report SSL-90-51, Xerox Palo Alto Reseach Center (PARC), 1980."},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"Takuo Watanabe and Akinori Yonezawa. Reflection in an Object-Oriented Concurrent Language. In Proceedings OOPSLA '88, pages 306\u2013315, November 1988. Published as ACM SIGPLAN Notices, volume 23, number 11.","DOI":"10.1145\/62084.62111"},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"Akinori Yonezawa, Jean-Pierre Briot, and Etsuya Shibayama. Object-Oriented Concurrent Programming in ABCL\/1. In Proceedings OOPSLA '86, pages 258\u2013268, November 1986. Published as ACM SIGPLAN Notices, volume 21, number 11.","DOI":"10.1145\/28697.28722"},{"key":"7_CR33","volume-title":"ABCL An Object-Oriented Concurrent System","author":"A. Yonezawa","year":"1990","unstructured":"A. Yonezawa, editor. ABCL An Object-Oriented Concurrent System. MIT Press, Cambridge, Mass., 1990."},{"key":"7_CR34","doi-asserted-by":"crossref","unstructured":"Yasuhiko Yokote and Mario Tokoro. The Design and Implementation of ConcurrentSmalltalk. In Proceedings OOPSLA '86, pages 331\u2013340, November 1986. Published as ACM SIGPLAN Notices, volume 21, number 11.","DOI":"10.1145\/960112.28730"}],"container-title":["Lecture Notes in Computer Science","Object-Based Models and Languages for Concurrent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59450-7_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:27:38Z","timestamp":1619573258000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59450-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594505","9783540492696"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-59450-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}