{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:41Z","timestamp":1725663041022},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540114949"},{"type":"electronic","value":"9783540391845"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/3-540-11494-7_1","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:44:04Z","timestamp":1330173844000},"page":"1-14","source":"Crossref","is-referenced-by-count":7,"title":["Applicative communicating processes in first order logic"],"prefix":"10.1007","author":[{"given":"Marco","family":"Bellia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierpaolo","family":"Degano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giorgio","family":"Levi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Dameri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurizio","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1145\/359636.359715","volume":"20","author":"E. A. Ashcroft","year":"1977","unstructured":"E.A. Ashcroft and W.W. Wadge \u2014 LUCID, a Nonprocedural Language with Iteration \u2014 C.ACM 20 (1977), 519\u2013526.","journal-title":"C.ACM"},{"key":"1_CR2","unstructured":"M. Bellia, P. Degano and G. Levi \u2014 A Functional plus Predicate Logic Programming Language \u2014 Proc. Logic Programming Workshop, Debrecen (Hungary) (1980), 334\u2013347."},{"key":"1_CR3","unstructured":"R.M. Burstall and J.A. Goguen \u2014 Putting Theories together to Make Specifications \u2014 Proc. 5th Int'l Joint Conf. on Artificial Intelligence, Cambridge (1977), 1045\u20131058."},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"R.M. Burstall, D.B. MacQueen and D.T. Sannella \u2014 HOPE: an Experimental Applicative Language \u2014 Proc. LISP Conference, Stanford (1980).","DOI":"10.1145\/800087.802799"},{"key":"1_CR5","unstructured":"K. Clark and F. McCabe \u2014 IC-PROLOG Language Features \u2014 Proc. Logic Programming Workshop, Debrecen (Hungary) (1980), 45\u201352."},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"J.B. Dennis \u2014 First Version of a Data Flow Procedure Language \u2014 Proc. Symposium on Programming, Paris (1974), Springer Verlag, 362\u2013376.","DOI":"10.1007\/3-540-06859-7_145"},{"key":"1_CR7","unstructured":"D. Friedman and D. Wise \u2014 CONS Should not Evaluate its Arguments \u2014 Automata, Languages and Programming, S. Michaelson ed., Edinburgh Univ. Press (1976), 256\u2013284."},{"key":"1_CR8","unstructured":"J.A. Goguen and J.J. Tardo \u2014 An Introduction to OBJ: a Language for Writing and Testing Formal Algebraic Specifications \u2014 Proc. IEEE Conf. on Specifications of Reliable Software, Los Angeles (1979), 170\u2013189."},{"key":"1_CR9","unstructured":"A. Hansson, S. Haradi and S.-\u00c5. T\u00e4rnlund \u2014 Some Aspects on a Logic Machine Prototype \u2014 Proc. Logic Programming Workshop, Debrecen (Hungary) (1980), 53\u201360."},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"P. Henderson and J.H. Morris \u2014 A Lazy Evaluator \u2014 3rd ACM Symp. on Principles of Programming Languages (1976), 95\u2013103.","DOI":"10.1145\/800168.811543"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"G. Huet and D.C. Oppen \u2014 Equations and Rewrite Rules: A Survey \u2014 in: Formal Languages: Perspectives and Open Problems, R. Book ed., Academic Press (1980)","DOI":"10.1016\/B978-0-12-115350-2.50017-8"},{"key":"1_CR12","unstructured":"G. Kahn \u2014 The Semantics of a Simple Language for Parallel Programming \u2014 Information Processing 74, North-Holland (1974), 471\u2013475."},{"key":"1_CR13","unstructured":"G. Kahn and D.B. MacQueen \u2014 Coroutines and Networks of Parallel Processes \u2014 Information Processing 77, North-Holland (1977), 993\u2013998."},{"key":"1_CR14","unstructured":"R.A. Kowalski \u2014 Predicate Logic as Programming Language \u2014 Information Processing 74, North-Holland (1974), 569\u2013574."},{"key":"1_CR15","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1145\/363744.363749","volume":"8","author":"P. Landin","year":"1965","unstructured":"P. Landin \u2014 A Correspondence between ALGOL 60 and Church's Lambda Calculus \u2014 C.ACM 8, (1965), 89\u2013101.","journal-title":"C.ACM"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"G. Levi and F. Sirovich \u2014 Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics \u2014 Proc. MFCS'75. LNCS 32, Springer Verlag (1975), 294\u2013301.","DOI":"10.1007\/3-540-07389-2_211"},{"key":"1_CR17","unstructured":"G. Levi and A. Pegna \u2014 Top-down mathematical semantics and symbolic execution \u2014 to be published in RAIRO Informatique Theorique."},{"key":"1_CR18","unstructured":"D.B. MacQueen \u2014 Models for Distributed Computing \u2014 in: La Conception de Syst\u00e8mes Reparties, INRIA (1978), 139\u2013174."},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"R. Milner \u2014 A Calculus of Communicating Systems \u2014 LNCS 92, Springer Verlag (1980).","DOI":"10.1007\/3-540-10235-3"},{"key":"1_CR20","unstructured":"D.B. Musser \u2014 Abstract Data Types in the AFFIRM System \u2014 Proc. IEEE Conf. on Specifications of Reliable Software, Los Angeles (1979), 47\u201357."},{"key":"1_CR21","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. H. Hemden van","year":"1976","unstructured":"M.H. van Hemden and R.A. Kowalski \u2014 The Semantics of Predicate Logic as a Programming Language \u2014 J.ACM 23 (1976), 733\u2013742.","journal-title":"J.ACM"},{"key":"1_CR22","unstructured":"M.H. vanHemden, G.J. de Lucena and H. de M. Silva \u2014 Predicate Logic as a Language for Parallel Programming \u2014 CS-79-15, Univ. of Waterloo, Dept. of Comp. Science, Nov. 1980."},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"J. Vuillemin \u2014 Correct and Optimal Implementations of Recursion in a Simple Programming Language \u2014 J.CSS 9 (1974).","DOI":"10.1016\/S0022-0000(74)80048-6"},{"key":"1_CR24","unstructured":"C. Wadsworth \u2014 Semantics and Pragmatics of the Lambda-Calculus \u2014 PhD. Thesis, Oxford, 1971."}],"container-title":["Lecture Notes in Computer Science","International Symposium on Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-11494-7_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:04:50Z","timestamp":1605625490000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-11494-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540114949","9783540391845"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-11494-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1982]]}}}