{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:12Z","timestamp":1725663552527},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540564546"},{"type":"electronic","value":"9783540475620"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56454-3_12","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:10:12Z","timestamp":1330254612000},"page":"216-241","source":"Crossref","is-referenced-by-count":1,"title":["The abstract scheme for concurrent programming"],"prefix":"10.1007","author":[{"given":"Ant\u00f3nio","family":"Porto","sequence":"first","affiliation":[]},{"given":"Paulo","family":"Rosado","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"S. Ahuja, N. Carriero, ID. Gelertner. Linda and Friends. IEEE Computer. August 1986.","DOI":"10.1109\/MC.1986.1663305"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"JM. Andreoli, R. Pareschi. LO and Behold! Concurrent Structured Processes. Proc. of the OOPSLA'90. ACM Press. 1990.","DOI":"10.1145\/97945.97953"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"JM. Andreoli, R. Pareschi. Communication as Fair Distribution of Knowledge. Proc. of the OOPSLA'91. ACM Press. 1991.","DOI":"10.1145\/117954.117971"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"JM. Andreoli, R. Pareschi. Dynamic Programming as Multiagent Programming. Presented in the Workshop on Object Based Concurrent Programming (at ECOOP). 1991.","DOI":"10.1007\/3-540-55613-3_8"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"H. Bal, J. Steiner, A. Tanenbaum Programming Languages for Distributed Computing Systems. ACM Computing Surveys, Vol. 21, N. 3, September 1989.","DOI":"10.1145\/72551.72552"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"A. Brogi, P. Ciancarini. The Concurrent Language, Shared Prolog. ACM TOPLAS, V. 13, N. 1, January 1991.","DOI":"10.1145\/114005.102807"},{"key":"12_CR7","volume-title":"Programming Expert Systems in OPS5: an Introduction to Rule-Based Progamming","author":"L. Brownston","year":"1985","unstructured":"L. Brownston, R. Farrell, E. Kant, N. Martin. Programming Expert Systems in OPS5: an Introduction to Rule-Based Progamming. Addison-Wesley, Reading, Mass., 1985."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"R. Back, R. Kurki-Suonio. Distributed Cooperation with Action Systems. ACM Trans. on Programming Languages and Systems, Vol. 10, N 4, 1988.","DOI":"10.1145\/48022.48023"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"N. Carriero, D. Gelernter. \u201cLinda in Context\u201d. Communications of the ACM, Vol. 32, N. 4, April 1989.","DOI":"10.1145\/63334.63337"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"N. Carriero, D. Gelertner. How to Write Parallel Programs: A Guide to the Perplexed. ACM Computing Surveys, Vol. 21, N 3. September 1989.","DOI":"10.1145\/72551.72553"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Comments on \u201cLinda in Context\u201d. Technical Correspondence, Communications of the ACM, Vol. 32, N. 10, October 1989.","DOI":"10.1145\/67933.315999"},{"key":"12_CR12","volume-title":"Parallel Program Design","author":"K. Chandy","year":"1988","unstructured":"K. Chandy, J. Misra. Parallel Program Design. Addison-Wesley, Reading, Massachusetts, 1988."},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"J.Y. Girard. Linear Logic. Theoretical Computer Science, 50 (1). 1987.","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"D. Harel, A. Pnueli. On the development of Reactive Systems. Logics and Models of Concurrent Systems, Ed. K. Apt, Springer Verlag, 1985.","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"C. Hoare. Communicating Sequential Processes. Communications of the ACM, Vol. 21, N. 8, August 1978.","DOI":"10.1145\/359576.359585"},{"key":"12_CR16","unstructured":"L. Lamport. A Temporal Logic of Actions. Technical Report 57. SRC, 1990."},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"J. Lloyd. Foundations of Logic Programming (second, extended edition). Symbolic Computation Series. Sringer-Verlag. 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"12_CR18","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"A. Pnueli. Application of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends. In Lecture Notes in Computer Science. Eds. J. de Bakker, W. de Roever, G. Rozenberg. Springer-Verlag. 1986.","DOI":"10.1007\/BFb0027047"},{"key":"12_CR20","volume-title":"Logical Action Systems","author":"A. Porto","year":"1983","unstructured":"A. Porto. Logical Action Systems. Proc. of the Logic Programming Workshop, Albufeira. UNL Portugal, 1983."},{"key":"12_CR21","volume-title":"Deductions for Actions RT55\/91-DI\/UNL. Technical Report","author":"A. Porto","year":"1991","unstructured":"A. Porto, P. Rosado. Deductions for Actions RT55\/91-DI\/UNL. Technical Report. Dep. of Computer Science. Universidade Nova de Lisboa. Portugal. April 1991."},{"key":"12_CR22","unstructured":"P. Rosado. The AbstrAct Language. Technical Report UNL-DI RT-16\/92, Departamento de Inform\u00e1tica, Universidade Nova de Lisboa, 1992."},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"V. Saraswat, D. Weinbaum, K.Kahn, E. Shapiro. Detecting Stable Properties of Networks In Concurrent Logic Programming Languages. Proc. of the ACM Conf. on principles of Distributed Computing, ACM Press. 1988.","DOI":"10.1145\/62546.62582"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"E. Shapiro. The Family of Concurrent Logic Programming Languages. ACM Computing Surveys, Vol. 21, N. 3, September 1989.","DOI":"10.1145\/72551.72555"},{"key":"12_CR25","unstructured":"Object-Oriented Concurrent Programming. Eds. A. Yonezawa, M. Tokoro, The MIT Press, 1987."}],"container-title":["Lecture Notes in Computer Science","Extensions of Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56454-3_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:03:49Z","timestamp":1605647029000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56454-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540564546","9783540475620"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-56454-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}