{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,18]],"date-time":"2024-12-18T22:10:04Z","timestamp":1734559804896,"version":"3.30.2"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1988,8,1]],"date-time":"1988-08-01T00:00:00Z","timestamp":586396800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1988,8]]},"DOI":"10.1007\/bf00291055","type":"journal-article","created":{"date-parts":[[2004,10,5]],"date-time":"2004-10-05T08:36:38Z","timestamp":1096965398000},"page":"691-711","source":"Crossref","is-referenced-by-count":7,"title":["Contributions to the semantics of logic perpetual processes"],"prefix":"10.1007","volume":"25","author":[{"given":"Giorgio","family":"Levi","sequence":"first","affiliation":[]},{"given":"Catuscia","family":"Palamidessi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K.R. Apt","year":"1982","unstructured":"Apt, K.R., Emden, M.H. van: Contributions to the theory of logic programming. J. ACM 29, 841?862 (1982)","journal-title":"J. ACM"},{"key":"CR2","first-page":"1","volume-title":"Lect. Notes Comput. Sci., Vol. 137","author":"M. Bellia","year":"1982","unstructured":"Bellia, M., Dameri, E., Degano, P., Levi, G., Martelli, M.: Applicative communicating processes in first order logic. Proceedings of the 5th International Symposium on Programming (Lect. Notes Comput. Sci., Vol. 137, pp. 1?14) Berlin Heidelberg New York: Springer 1982"},{"key":"CR3","first-page":"171","volume-title":"Proceedings ACM Conference on Functional Programming Languages and Computer Architecture","author":"K.L. Clark","year":"1981","unstructured":"Clark, K.L., Gregory, S.: A relational language for parallel programming. Proceedings ACM Conference on Functional Programming Languages and Computer Architecture, pp. 171?178. New York: ACM 1981"},{"key":"CR4","unstructured":"Clark, K.L., Gregory, S.: PARLOG: a parallel logic programming language, Imperial College Research Report 83\/5 (May 1983)"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/5001.5390","volume":"8","author":"K.L. Clark","year":"1986","unstructured":"Clark, K.L., Gregory, S.: PARLOG: Parallel programming in logic. ACM Trans. Progr. Lang. Syst. 8, 1?49 (1986)","journal-title":"Progr. Lang. Syst."},{"key":"CR6","first-page":"85","volume-title":"Proceedings of the International Conference on Fifth Generation Computer Systems","author":"A. Colmerauer","year":"1984","unstructured":"Colmerauer, A.: Equations and inequations on finite and infinite trees. Proceedings of the International Conference on Fifth Generation Computer Systems, pp. 85?99. Amsterdam: North-Holland 1984"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0304-3975(83)90059-2","volume":"25","author":"B. Courcelle","year":"1983","unstructured":"Courcelle, B.: Fundamental properties of infinite trees. Theor. Comput. Sci. 25, 95?169 (1983)","journal-title":"Theor. Comput. Sci."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(86)90050-2","volume":"42","author":"B. Courcelle","year":"1986","unstructured":"Courcelle, B.: Equivalences and transformations of regular systems-applications to recursive program schemes and grammars. Theor. Comput. Sci. 42, 1?122 (1986)","journal-title":"Theor. Comput. Sci."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"Emden, M.H. van, Kowalski, R.A.: The semantics of predicate logic as a programming language. J. ACM 23, 733?742 (1976)","journal-title":"J. ACM"},{"key":"CR10","first-page":"189","volume-title":"Logic programming","author":"M.H. Emden van","year":"1982","unstructured":"Emden, M.H. van, Lucena, G.J. de: Predicate logic as a language for parallel programming. In: Clark, K.L., Tarnlund, S.A. (eds.) Logic programming, pp. 189?198. New York: Academic Press 1982"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0743-1066(85)90005-6","volume":"1","author":"M.H. Emden van","year":"1985","unstructured":"Emden, M.H. van, Nait Abdallah, M.A.: Top-down semantics of fair computations of logic programs. J. Logic Programming 1, 67?75 (1985)","journal-title":"J. Logic Programming"},{"key":"CR12","first-page":"474","volume-title":"Proceedings of the Logic Programming Workshop 83","author":"M. Falaschi","year":"1983","unstructured":"Falaschi, M., Levi, G., Palamidessi, C.: On the fixed-point semantics of Horn clauses with infinite terms. Proceedings of the Logic Programming Workshop 83. pp. 474?484. Lisboa: Universitade Nova de Lisboa 1983"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1016\/S0019-9958(84)80021-2","volume":"60","author":"M. Falaschi","year":"1984","unstructured":"Falaschi, M., Levi, G., Palamidessi, C.: A synchronization logic: Axiomatics and formal semantics of generalized Horn clauses. Inform. Control. 60, 36?69 (1984)","journal-title":"Inform. Control."},{"key":"CR14","first-page":"363","volume":"42","author":"M. Falaschi","year":"1985","unstructured":"Falaschi, M., Levi, G., Palamidessi, C.: The formal semantics of processes and streams in logic programming. Colloq. Math. Soc. Janos Bolyai 42, 363?378 (1985)","journal-title":"Colloq. Math. Soc. Janos Bolyai"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J.A. Goguen","year":"1977","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E., Wright, J.B.: Initial algebra semantics and continuous algebras. J. ACM 24, 68?95 (1977)","journal-title":"J. ACM"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0304-3975(84)90017-3","volume":"29","author":"J.-L. Lassez","year":"1984","unstructured":"Lassez, J.-L., Maher, M.J.: Closures and fairness in the semantics of programming logic. Theor. Comput. Sci. 29, 167?184 (1984)","journal-title":"Theor. Comput. Sci."},{"key":"CR17","first-page":"128","volume-title":"Proceedings of the 1985 Symposium on Logic Programming","author":"G. Levi","year":"1985","unstructured":"Levi, G., Palamidessi, C.: The declarative semantics of logical read-only variables, Proceedings of the 1985 Symposium on Logic Programming, pp. 128?137. N.W., Washington: IEEE Comp. Society Press 1985"},{"key":"CR18","unstructured":"Levi, G., Palamidessi, C.: An approach to the declarative semantics of synchronization in Logic Languages. Proceedings 4th International Conference on Logic Programming, Melbourne (1987)"},{"key":"CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of logic programming","author":"J.W. Lloyd","year":"1984","unstructured":"Lloyd, J.W.: Foundations of logic programming. Berlin Heidelberg New York: Springer 1984"},{"key":"CR20","series-title":"Lect. Notes Comput. Sci., Vol. 107","volume-title":"Proceedings of the International Colloquium on Formalization of Programming Concepts","author":"L. Monteiro","year":"1981","unstructured":"Monteiro, L.: An extension to Horn clause logic allowing the definition of concurrent processes. Proceedings of the International Colloquium on Formalization of Programming Concepts. (Lect. Notes Comput. Sci., Vol. 107). Berlin Heidelberg New York: Springer 1981"},{"key":"CR21","volume-title":"Implementations of PROLOG","author":"L. Monteiro","year":"1984","unstructured":"Monteiro, L.: A proposal for distributed programming in logic. In: Campbell, J.A. (eds.) Implementations of PROLOG. West Sussex, UK: Ellis Horwood 1984"},{"key":"CR22","first-page":"358","volume-title":"Lect. Notes Comput. Sci., Vol. 172","author":"M.A. Nait Abdallah","year":"1984","unstructured":"Nait Abdallah, M.A.: On the interpretation of Infinite computations in logic programming, ICALP 84. (Lect. Notes Comput. Sci., Vol. 172, pp. 358?370) Berlin Heidelberg New York: Springer 1984"},{"key":"CR23","first-page":"283","volume-title":"Proceedings of the International Conference on Fifth Generation Computer Systems","author":"L.M. Pereira","year":"1984","unstructured":"Pereira, L.M., Nasr, R.: Delta-Prolog: A distributed logic programming language. Proceedings of the International Conference on Fifth Generation Computer Systems, pp. 283?291. Amsterdam: North-Holland 1984"},{"key":"CR24","doi-asserted-by":"crossref","unstructured":"Shapiro, E.Y.: A subset of concurrent Prolog and its interpreter. ICOT Tech. Rep. TR-003 (1983)","DOI":"10.1007\/BF03037020"},{"key":"CR25","doi-asserted-by":"crossref","unstructured":"Ueda, K.: Guarded Horn clauses. ICOT Tech. Rep. TR-103 (1985)","DOI":"10.1007\/3-540-16479-0_17"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00291055.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00291055\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00291055","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,18]],"date-time":"2024-12-18T21:40:49Z","timestamp":1734558049000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00291055"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,8]]},"references-count":25,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1988,8]]}},"alternative-id":["BF00291055"],"URL":"https:\/\/doi.org\/10.1007\/bf00291055","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"type":"print","value":"0001-5903"},{"type":"electronic","value":"1432-0525"}],"subject":[],"published":{"date-parts":[[1988,8]]}}}