{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:34Z","timestamp":1742617114772,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540509394"},{"type":"electronic","value":"9783540461166"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-50939-9_131","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:34:24Z","timestamp":1330202064000},"page":"162-177","source":"Crossref","is-referenced-by-count":2,"title":["A distributed, net oriented semantics for Delta Prolog"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Brogi","sequence":"first","affiliation":[]},{"given":"Roberto","family":"Gorrieri","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"11_CR1","unstructured":"J.N. Aparicio, J.C. Cunha, L.F. Monteiro, L.M. Pereira, \u201cThe Specification of Delta Prolog\u201d, Draft manuscript, June 1987."},{"issue":"3","key":"11_CR2","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K.R. Apt","year":"1982","unstructured":"K.R. Apt, M.H. van Emden, \u201cContribution to the Theory of Logic Programming\u201d, J. ACM 29,3, 1982, pp. 841\u2013862.","journal-title":"J. ACM"},{"key":"11_CR3","unstructured":"J.W. de Bakker, J.N. Kok, \u201cUniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog\u201d, Proc. of Int. Conf. on Fifth Generation Computer Systems, Tokyo, 1988, pp 347\u2013355, Vol. II."},{"key":"11_CR4","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"55","author":"E. Best","year":"1987","unstructured":"E. Best, R. Devillers, \u201cSequential and Concurrent Behaviour in Petri Net Theory\u201d, Theoretical Computer Science 55, 1987, pp. 87\u2013136.","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"11_CR5","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, A.D. Roscoe, \u201cA Theory of Communicating Sequential Processes\u201d, J. ACM 31, 3, 1984, pp.560\u2013599.","journal-title":"J. ACM"},{"issue":"1","key":"11_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/5001.5390","volume":"8","author":"K.L. Clark","year":"1986","unstructured":"K.L. Clark, S. Gregory, \u201cPARLOG: A Parallel Logic Programming Language\u201d, ACM Trans. on Prog. Lang. and Syst. 8, 1, Jan. 1986, pp. 1\u201349.","journal-title":"ACM Trans. on Prog. Lang. and Syst."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"J. Conery, D. Kibler, \u201cParallel Interpretations of Logic Programs\u201d, in Proc. ACM Conf. on Functional Prog. Languages and Comp. Architectures, 1981, pp. 163\u2013170.","DOI":"10.1145\/800223.806775"},{"key":"11_CR8","unstructured":"P. Degano, R. De Nicola, U. Montanari, \"A Distributed Operational Semantics for CCS based on Condition\/Event Systems\u201d, Nota Interna B4-21, 1987. To appear in Acta Informatica."},{"key":"11_CR9","unstructured":"P. Degano, S. Diomedi, \u201cA first order semantics of a connective suitable to express concurrency\u201d, in Proc. 2nd Logic Programming Workshop, Albufeira (Portugal), 1983, pp. 506\u2013517."},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"P. Degano, R. Gorrieri, S. Marchetti, \u201cAn Exercise in Concurrency: A CSP Process as a Condition\/Event System\u201d, in Proc. 8th European Workshop on Applications and Theory of Petri Nets, Zaragoza, 1987, pp 31\u201350. To appear in Advances in Petri Nets 1988 (G. Rozenberg, ed.) LNCS, Springer 1988.","DOI":"10.1007\/3-540-50580-6_25"},{"key":"11_CR11","first-page":"442","volume":"34","author":"P. Degano","year":"1987","unstructured":"P. Degano, U. Montanari, \u201cConcurrent Histories: A Basis for Observing Distributed Systems\u201d, J.CSS 34, 1987, pp. 442\u2013461.","journal-title":"J.CSS"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"M. Falaschi, G. Levi, C. Palamidessi \u201cA Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses\u201d, Information and Control, 60, 1\u20133, pp.36\u201369.","DOI":"10.1016\/S0019-9958(84)80021-2"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"N. Francez, \u201cFairness\u201d, Text and Monographies in Computer Science (D. Gries, ed.), Springer, 1986.","DOI":"10.1007\/978-1-4612-4886-6"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"R. Gerth, M. Codish, Y. Lichtenstein, E.Y. Shapiro, \u201cFull Abstract Denotational Semantics for Flat Concurrent Prolog\u201d, Proc. Logic in Computer Science, 1988, pp 320\u2013333.","DOI":"10.1109\/LICS.1988.5130"},{"issue":"8","key":"11_CR15","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"C.A.R. Hoare, \u201cCommunicating Sequential Processes\u201d, C. ACM 21, 8, 1978, pp. 666\u2013677.","journal-title":"C. ACM"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd, Foundations of Logic Programming, Springer 1984 (Second Edition 1987).","DOI":"10.1007\/978-3-642-96826-6"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"R. Milner, \u201cNotes on a Calculus for Communicating Systems\u201d, in Control Flow and Data Flow: Concepts of Distributed Programming (M. Broy, ed.), NATO ASI Series F, Vol. 14, Springer, 1984, pp. 205\u2013228.","DOI":"10.1007\/978-3-642-82921-5_5"},{"key":"11_CR18","unstructured":"L. Monteiro, \u201cA proposal for distributed programming in logic\u201d, Implementations of Prolog \u2014 Ellis Horwood, 1984."},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"E.-R. Olderog, \u201cOperational Petri Net Semantics for CCSP\u201d, in Advances in Petri Nets 1987, (G. Rozenberg, ed.), LNCS 266, Springer 1987, pp. 196\u2013223.","DOI":"10.1007\/3-540-18086-9_27"},{"key":"11_CR20","unstructured":"L.M. Pereira, R. Nasr, \u201cDelta Prolog: a distributed logic programming language\u201d, Proc. of FGCS, Tokyo, November 1984."},{"key":"11_CR21","unstructured":"L.M. Pereira, L.F. Monteiro, J. Cunha, J. Aparicio, M.C. Ferreira, Delta Prolog User's Manual \u2014 Version 1.0, June 1987."},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"L.M. Pereira, L. Monteiro, J.C., Cunha, J.N. Aparicio, \u201cDelta Prolog: a distributed backtracking extension with events\u201d, Proc. of 3rd International Conference on Logic Programming, July 1986.","DOI":"10.1007\/3-540-16492-8_65"},{"key":"11_CR23","unstructured":"G.D. Plotkin, \u201cA Structural Approach to Operational Semantics\u201d, Technical Report DAIMI FN-19, CS Department, University of Aarhus, 1981."},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"W. Reisig, Petri Nets: An Introduction, EATCS Monograph in Computer Science, Springer, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"V.A. Saraswat, \u201cThe Concurrent Language CP: Definition and Operational Semantics\u201d, Proc. of the 14th Symposium on Principles of Programming Languages, ACM, January 1987, pp. 49\u201362.","DOI":"10.1145\/41625.41630"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"E.Y. Shapiro, \u201cConcurrent Prolog: a progress report\u201d, in Fundamentals of Artificial Intelligence (W. Bibel, Ph. Jorrand, eds.), LNCS 232, Springer, 1987, pp. 277\u2013313.","DOI":"10.1007\/978-3-662-40145-3_7"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"K. Ueda, Guarded Horn Clauses, Ph.D. Thesis, University of Tokyo, 1986, (also as Technical Report TR-103, ICOT 1986).","DOI":"10.1007\/3-540-16479-0_17"},{"key":"11_CR28","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. Emden van","year":"1976","unstructured":"M. van Emden, R.A. Kowalski, \u201cThe Semantics of Predicate Logic as a Programming Language\u201d, J. ACM, 23, 1976, pp. 733\u2013742.","journal-title":"J. ACM"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '89"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50939-9_131.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:48:49Z","timestamp":1742590129000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50939-9_131"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540509394","9783540461166"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-50939-9_131","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}