{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T20:10:00Z","timestamp":1649103000289},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1992,4,1]],"date-time":"1992-04-01T00:00:00Z","timestamp":702086400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[1992,4]]},"DOI":"10.1007\/bf01408290","type":"journal-article","created":{"date-parts":[[2005,4,3]],"date-time":"2005-04-03T04:59:02Z","timestamp":1112504342000},"page":"123-150","source":"Crossref","is-referenced-by-count":3,"title":["Virtual time and virtual space"],"prefix":"10.1007","volume":"21","author":[{"given":"Xining","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Cleary","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"Unger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"X. Li, CSP*?A Distributed Logic Programming Language for Discrete Event Simulation, PhD Thesis, University of Calgary (1989)."},{"issue":"3","key":"CR2","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1145\/3916.3988","volume":"7","author":"D. R. Jefferson","year":"1985","unstructured":"D. R. Jefferson, Virtual Time,ACM Transactions on Programming Languages and Systems,7(3):404?425 (July 1985).","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"CR3","unstructured":"J. Cleary, B. Unger, and X. Li, A Distributed and Parallel Backtracking Algorithm using Virtual Time,Distributed Simulation, SCS, pp. 177?82 (1988)."},{"key":"CR4","unstructured":"I. Futo, Distributed Simulation on Prolog Basis,Distributed Simulation, SCS, pp. 160?165 (1988)."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/0745-7138(90)90004-Q","volume":"13","author":"P. Kacsuk","year":"1990","unstructured":"P. Kacsuk, I. Futo, and SZ. Ferenczi Implementing Cs-prolog on a Communicating Process Architecture,J. of Microcomputer Appl.,13:19?41 (1990).","journal-title":"J. of Microcomputer Appl."},{"key":"CR6","unstructured":"L. M. Pereira and R. Nasr, Delta-prolog: A Distributed Logic Programming Language,The Int'l. Conf. on Fifth Generation Comput. Syst. ICOT (1984)."},{"key":"CR7","unstructured":"J. C. Cunhaet al. Delta prolog: A Distributed Logic Programming Language and Its Implementation on Distributed Memory Multiprocessors.Implementations of Distributed Prolog, P. Kacsuk and M. Wise (eds.), John Wiley and Sons, pp. 335?356 (1992)."},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"V. Ambriola, P. Ciancarni, and M. Danelutto, Design and Distributed Implementation of the Parallel Logic Language Shared Prolog,ACM Sigplan Notices,25(3) (March 1990).","DOI":"10.1145\/99164.99169"},{"key":"CR9","unstructured":"J. W. Lloyd,Programming in Logic, Springer Verlag (1984)."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"L. Lamport, Time, Clocks, and the Ordering of Events in a Distributed System,CACM,21(7) (July 1978).","DOI":"10.1145\/359545.359563"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"M. Abadi and Z. Manna, Temporal Logic Programming,Symp. on Logic Programming, IEEE, pp. 4?16 (1987).","DOI":"10.1016\/0743-1066(87)90007-0"},{"key":"CR12","unstructured":"L. Sterling and E. Shapiro,The Art of Prolog, The MIT Press (1986)."},{"key":"CR13","unstructured":"I. Futo and J. Szeredi, T-prolog: A Very High-level Simulation System, Tech. Rep. Computer Research Institue, H-1015 Budapest Donati, u., pp. 35?45 (1982)."},{"key":"CR14","series-title":"Res. Rep. 86\/242\/16","volume-title":"Jade Virtual time Implementation Manual","author":"Z. Xiao","year":"1986","unstructured":"Z. Xiao, B. Cleary, G. Lomow, X. Li, and K. Slind, Jade Virtual time Implementation Manual, Res. Rep. 86\/242\/16, The University of Calgary, 2500 University Drive NW, Calgary, Alberta, Canada, T2N 1N4 (October 1986)."},{"issue":"5","key":"CR15","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1109\/TSE.1979.230182","volume":"5","author":"K. M. Chandy","year":"1979","unstructured":"K. M. Chandy and J. Misra, Distributed simulation: A case study in design and verification of distributed programs,IEEE Tran. on Software Engineering,SE5(5):440?452 (September 1979).","journal-title":"IEEE Tran. on Software Engineering"},{"key":"CR16","unstructured":"D. Jefferson aand H. Sowizral, Fast Concurrent Simulation Using the Time Warp Mechanism, part I: Local Control, Tech. Rep. The Rand Corporation (December 1982)."},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"J. Y. Halpern and Y. Moses, Knowledge and Common Knowledge in a Distributed Environment,The 3rd Ann. ACM Symp. on Principles of Distributed Computing, ACM, pp. 50?61 (August. 1984).","DOI":"10.1145\/800222.806735"},{"key":"CR18","unstructured":"X. Li, B. Unger, and J. Cleary, Communicating Sequential Prolog,Distributed Simulation, SCS, pp. 166?170 (1988)."},{"key":"CR19","unstructured":"B. Unger, G. Birtwistle, J. Cleary, and A. Dewar, A Distributed Software Prototyping and Simulation Environment: Jade.SCS Conf. on Intelligent Simulation Environments, SCS (1986)."}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01408290.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01408290\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01408290","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T17:07:20Z","timestamp":1586192840000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01408290"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,4]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1992,4]]}},"alternative-id":["BF01408290"],"URL":"https:\/\/doi.org\/10.1007\/bf01408290","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,4]]}}}