{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:27:51Z","timestamp":1725474471040},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540658313"},{"type":"electronic","value":"9783540489320"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/bfb0098005","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T09:45:17Z","timestamp":1164361517000},"page":"1228-1242","source":"Crossref","is-referenced-by-count":1,"title":["A formal framework for specifying and verifying time warp optimizations"],"prefix":"10.1007","author":[{"given":"Victoria","family":"Chernyakhovsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Frey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radharamanan","family":"Radhakrishnan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philip A.","family":"Wilsey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Perry","family":"Alexander","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harold W.","family":"Carter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,10,28]]},"reference":[{"issue":"11","key":"123_CR1","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1145\/358598.358613","volume":"24","author":"K. M. Chandy","year":"1981","unstructured":"Chandy, K. M., and Misra, J. Asynchronous distributed simulation via a sequence of parallel computations. Communications of the ACM 24, 11 (Apr. 1981), 198\u2013206.","journal-title":"Communications of the ACM"},{"key":"123_CR2","doi-asserted-by":"crossref","unstructured":"D\u2019Souza, L. M., Fan, X., and Wilsey, P. A. pGVT: An algorithm for accurate GVT estimation. In Proc. of the 8th Workshop on Parallel and Distributed Simulation (PADS 94) (July 1994), Society for Computer Simulation, pp. 102\u2013109.","DOI":"10.1145\/182478.182553"},{"key":"123_CR3","doi-asserted-by":"crossref","unstructured":"Fleischmann, J., and Wilsey, P. A. Comparative analysis of periodic state saving techniques in Time Warp simulators. In Proc. of the 9th Workshop on Parallel and Distributed Simulation (PADS 95) (June 1995), pp. 50\u201358.","DOI":"10.1109\/PADS.1995.404317"},{"key":"123_CR4","unstructured":"Frey, P.Protocols for Optimistic Synchronization of Mixed-Mode Simulation. PhD thesis, University of Cincinnati, August 1998."},{"key":"123_CR5","doi-asserted-by":"crossref","unstructured":"Frey, P., Radhakrishnan, R., Carter, H. W., and Wilsey, P. A. Optimistic synchronization of mixed-mode simulators. In 1998 International Parallel Processing Symposium, IPPS\u201998 (March 30\u2013April 3 1998), pp. 694\u2013699.","DOI":"10.1109\/IPPS.1998.670002"},{"key":"123_CR6","doi-asserted-by":"crossref","unstructured":"Frey, P., Radhakrishnan, R., Wilsey, P. A., Alexander, P., and Carter, H. W. An extensible formal framework for the specification and verification of an optimistic simulation protocol. In Proceedings of the 32nd Hawaii International Conference on System Sciences (HICSS\u201999) (jan 1999), Sony Electronic Publishing Services. (forthcoming).","DOI":"10.1109\/HICSS.1999.772888"},{"issue":"10","key":"123_CR7","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/84537.84545","volume":"33","author":"R. Fujimoto","year":"1990","unstructured":"Fujimoto, R., Parallel discrete event simulation. Communications of the ACM 33, 10 (Oct. 1990), 30\u201353.","journal-title":"Communications of the ACM"},{"issue":"3","key":"123_CR8","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1145\/3916.3988","volume":"7","author":"D. Jefferson","year":"1985","unstructured":"Jefferson, D., Virtual time. ACM Transactions on Programming Languages and Systems 7, 3 (July 1985), 405\u2013425.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"123_CR9","doi-asserted-by":"crossref","unstructured":"Kannikeswaran, B., Radhakrishnan, R., Frey, P., Alexander, P., and Wilsey, P. A. Formal specification and verification of the pGVT algorithm. In FME \u201996: Industrial Benefit and Advances in Formal Methods (Mar. 1996), M.-C. Gaudel and J. Woodcock, Eds., vol. 1051 of Lecture Notes in Computer Science, Springer-Verlag, pp. 405\u2013424.","DOI":"10.1007\/3-540-60973-3_99"},{"issue":"4","key":"123_CR10","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1006\/jpdc.1993.1075","volume":"18","author":"F. Mattern","year":"1993","unstructured":"Mattern, F., Efficient algorithms for distributed snapshots and global virtual time approximation. Journal of Parallel and Distributed Computing 18, 4 (Aug. 1993), 423\u2013434.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"123_CR11","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.Communication and Concurrency. International Series in Computer Science. Prentice Hall, New York, NY, 1989."},{"key":"123_CR12","doi-asserted-by":"crossref","unstructured":"Penix, J., Martin, D., Frey, P., Radhakrishnan, R., Alexander, P., and Wilsey, P. A. Experiences in verifying parallel simulation algorithms. In Second Workshop on Formal Methods in Software Practice (Clearwater Beach, Florida, USA, March 4\u20135 1998), Co-located with ISSTA98.","DOI":"10.1145\/298595.298600"},{"key":"123_CR13","doi-asserted-by":"crossref","unstructured":"Rajan, R., and Wilsey, P. A. Dynamically switching between lazy and aggressive cancellation in a Time Warp parallel simulator. In Proc. of the 28th Annual Simulation Symposium (Apr. 1995), IEEE Computer Society Press, pp. 22\u201330.","DOI":"10.1109\/SIMSYM.1995.393597"},{"key":"123_CR14","doi-asserted-by":"crossref","unstructured":"R\u00f6nngren, R., and Ayani, R. Adaptive checkpointing in Time Warp. In Proc. of the 8th Workshop on Parallel and Distributed Simulation (PADS 94) (July 1994), Society for Computer Simulation, pp. 110\u2013117.","DOI":"10.1145\/182478.182577"}],"container-title":["Lecture Notes in Computer Science","Parallel and Distributed Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0098005","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,22]],"date-time":"2019-04-22T10:59:06Z","timestamp":1555930746000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0098005"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540658313","9783540489320"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0098005","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}