{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T19:24:31Z","timestamp":1649186671094},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1988,9,1]],"date-time":"1988-09-01T00:00:00Z","timestamp":589075200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1988,9]]},"DOI":"10.1007\/bf00370551","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T23:53:18Z","timestamp":1099439598000},"page":"203-212","source":"Crossref","is-referenced-by-count":0,"title":["A faithful embedding of parallel computations in star-finite models"],"prefix":"10.1007","volume":"47","author":[{"given":"E. J.","family":"Farkas","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0304-3975(81)90076-1","volume":"16","author":"L. Csirmaz","year":"1981","unstructured":"L. Csirmaz, Programs and program verification in a general setting, Theoret. Comp. Sci. 16 (1981), pp. 199?210.","journal-title":"Theoret. Comp. Sci."},{"key":"CR2","unstructured":"L. Csirmaz, Nonstandard semantics in program verification, Hungarian Academy of Sciences, 1984."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"N. J. Cutland, Computability, Cambridge 1980.","DOI":"10.1017\/CBO9781139171496"},{"key":"CR4","volume-title":"Ph.D. Thesis","author":"E. J. Farkas","year":"1985","unstructured":"E. J. Farkas, A type structure for parallel programs, Ph.D. Thesis, Concordia University, Montreal 1985."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0168-0072(88)90024-3","volume":"37","author":"E. J. Farkas","year":"1988","unstructured":"E. J. Farkas and M. E. Szabo, On ihn progarms-as-formulas interpretationion of parallel programs in Peano arithmetic, Annals of Pure and Applied Logic 37 (1988), pp. 111?127.","journal-title":"Annals of Pure and Applied Logic"},{"key":"CR6","unstructured":"E. J. Farkas and M. E. Szabo, Stochastic analysis of loop programs, 1986. To appear."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1145\/2166.357214","volume":"5","author":"S. Hart","year":"1983","unstructured":"S. Hart, M. Sharir and A. Pnueli, Termination of probabilistic concurrent programs, ACM Trans, on Programming Languages and Systems 5 (1983), pp. 356?380.","journal-title":"ACM Trans, on Programming Languages and Systems"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"M. M. Richter, Ideale Punkte, Monaden, und Nichtstandard-Methoden, Vieweg, 1982.","DOI":"10.1007\/978-3-322-85726-2"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"M. M. Richter and M. E. Szabo, Towards a nonstandard analysis oj programs, in: A. E. Hurd, ed., Nonstandard Analysis ? Recent Developments, Lecture Notes in Mathematics 983, Springer-Verlag, 1983.","DOI":"10.1007\/BFb0065340"},{"key":"CR10","series-title":"Colloquia Mathematica Soc. J. Bolyai 42","volume-title":"Algebra, Combinatorics, and Logic in Computer Science","author":"M. M. Richtr","year":"1983","unstructured":"M. M. Richtr and M. E. Szabo. Nonstandard computation theory. in: J. Demetrovics. G. Katona, and A. Salomaa, eds., Algebra, Combinatorics, and Logic in Computer Science, Colloquia Mathematica Soc. J. Bolyai 42, North-Holland, Amsterdam, 1983."},{"key":"CR11","unstructured":"M. E. Szabo, On some arithmetically expressible properties of programs, in: G. Mirkowska and H Rasiowa. eds. Mathematical Problems in Computer Science, Banach Center Publications 21. Warsaw. 1986. pp.383 392."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370551.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370551\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370551","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T18:23:57Z","timestamp":1585938237000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370551"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,9]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1988,9]]}},"alternative-id":["BF00370551"],"URL":"https:\/\/doi.org\/10.1007\/bf00370551","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,9]]}}}