{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:15:18Z","timestamp":1725455718173},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638117"},{"type":"electronic","value":"9783540696513"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0025070","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:56:54Z","timestamp":1132387014000},"page":"499-513","source":"Crossref","is-referenced-by-count":0,"title":["From sequential to distributed formal proofs"],"prefix":"10.1007","author":[{"given":"V\u00edctor M.","family":"Gulfas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. Santiago","family":"Jorge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan J.","family":"Quintela","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 L.","family":"Freire","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"41_CR1","volume-title":"ACTORS: A Model of Concurrent Computation in Distributed Systems","author":"G. Agha","year":"1990","unstructured":"G. Agha. ACTORS: A Model of Concurrent Computation in Distributed Systems. The MIT Press, Cambridge, Massachusetts 02142, 1990."},{"key":"41_CR2","volume-title":"A Discipline of Programming","author":"W. Dijkstra","year":"1976","unstructured":"W. Dijkstra, E. Dijkstra A Discipline of Programming. Prentice-Hall, Englewood Cliffs, NJ, 1976."},{"key":"41_CR3","unstructured":"J.L. Freire, V.M. Gulias, and B.B. Fraguela. Extending Caml Light to perform distributed computations. In Joint Conference on Declarative Programming (GULP-PRODE'95), Salerno, Italy, September 1995."},{"key":"41_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"The Science of Programming","author":"D. Gries","year":"1981","unstructured":"D. Gries. The Science of Programming. Springer-Verlag, New York, 1981."},{"key":"41_CR5","unstructured":"Victor M. Gul\u00edas, Juan J. Quintela, and Jose L. Freire. Distributed computing using objective caml. In 8th International Workshop on Implementation of Functional Languages IFL'96, Bonn, Germany, September 1996."},{"key":"41_CR6","unstructured":"V.M. Gul\u00edas and A. Valderruten. Une interface graphique distribu\u00e9e pour le \u03bb-calcul support\u00e9e par des serveurs fonctionnels. In Journ\u00e9es Francophones des langages applicatifs (JFLA'95), pages 229\u2013246, Bois d'Amont, France, January 1995. Published in INRIA Collection Didactique, 13."},{"issue":"4","key":"41_CR7","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1145\/4472.4478","volume":"7","author":"R. H. Halstead","year":"1985","unstructured":"R. H. Halstead. Multilisp: a language for concurrent symbolic computation. ACM Trans. Prog. Lang. and Sys., 7(4):501\u2013538, October 1985.","journal-title":"ACM Trans. Prog. Lang. and Sys."},{"key":"41_CR8","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985."},{"key":"41_CR9","unstructured":"Jack Dongarra and others. A Users' Guide to PVM Parallel Virtual Machine. Oak Ridge National Laboratory, July 1991."},{"key":"41_CR10","unstructured":"J. Santiago Jorge, V\u00edctor M. Gul\u00edas, and Antonio Blanco. B\u00fasqueda de repetidos en et tri\u00e1ngulo de pascal: Prueba formal. Technical Report (to appear), Department of Computer Science, University of La Coru\u00f1a, 1997."},{"key":"41_CR11","unstructured":"Xavier Leroy. The Objective Caml system, documentation and user's guide Release 1.03. INRIA, 1996."},{"key":"41_CR12","unstructured":"J. Mills, L. Clarke, and A. Trew. CHIMP Concepts and Development. Technical Report EPCC-TR94-14, The University of Edinburgh, March 1994."},{"issue":"4","key":"41_CR13","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/122456.122457","volume":"16","author":"J.M. Molinelli","year":"1990","unstructured":"J.M. Molinelli, J.L. Freire, and A. Blanco. Computer-looking for nontrivial repetitions in the pascal triangle. SIGSMALL\/PC NOTES, 16(4):3\u201326, December 1990.","journal-title":"SIGSMALL\/PC NOTES"},{"key":"41_CR14","unstructured":"L. C. Paulson. ML for the working programmer. Cambridge Univ. Press, 1991."},{"key":"41_CR15","doi-asserted-by":"crossref","unstructured":"Klaus E. Schauser and Seth C. Goldstein. How much non-strictness do lenient programs Require? In FPCA, San Diego, CA, June 1995.","DOI":"10.1145\/224164.224208"},{"key":"41_CR16","volume-title":"UNIX Network Programming","author":"R. Stevens","year":"1993","unstructured":"R. Stevens. UNIX Network Programming. Prentice-Hall, Englewood Cliffs, New Jersey, USA, 1993."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2014 EUROCAST'97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0025070","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,6]],"date-time":"2019-04-06T13:12:49Z","timestamp":1554556369000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0025070"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638117","9783540696513"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0025070","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}