{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T05:13:13Z","timestamp":1648962793129},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[1991,7,1]],"date-time":"1991-07-01T00:00:00Z","timestamp":678326400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1991,7]]},"DOI":"10.1007\/bf01178679","type":"journal-article","created":{"date-parts":[[2005,2,17]],"date-time":"2005-02-17T21:37:46Z","timestamp":1108676266000},"page":"611-629","source":"Crossref","is-referenced-by-count":2,"title":["A fixed point approach to parallel discrete event simulation"],"prefix":"10.1007","volume":"28","author":[{"given":"Werner","family":"Pohlmann","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"Mathematical theory of program correctness","author":"J. Bakker de","year":"1980","unstructured":"de Bakker, J.: Mathematical theory of program correctness. Englewood Cliffs: Prentice Hall 1980"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/S0019-9958(82)91250-5","volume":"54","author":"J. Bakker de","year":"1982","unstructured":"de Bakker, J., Zucker, J.I.: Processes and the denotational semantics of concurrency. Inf. Control54, 70?182 (1982)","journal-title":"Inf. Control"},{"key":"CR3","volume-title":"Parallel and distributed computation: numerical methods","author":"D. Bertsekas","year":"1989","unstructured":"Bertsekas, D., Tsitsiklis, J.: Parallel and distributed computation: numerical methods. Englewood Cliffs: Prentice Hall 1989"},{"key":"CR4","unstructured":"Broy, M.: A theory for nondeterminism, parallelism, communication and concurrency. Habilitationsschrift, Technische Universit\u00e4t M\u00fcnchen, 1982"},{"key":"CR5","volume-title":"Proc. Information Processing' 83","author":"M. Broy","year":"1983","unstructured":"Broy, M.: Applicative real time programming. In: Mason, R.E. (ed.) Proc. Information Processing' 83. Amsterdam: North Holland 1983"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1109\/TSE.1979.230182","volume":"5","author":"K.M. Chandy","year":"1979","unstructured":"Chandy, K.M., Misra, J.: Distributed simulation: a case study in design and verification of distributed programs. IEEE Trans. Software Eng.5, 440?452 (1979)","journal-title":"IEEE Trans. Software Eng."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0020-0190(79)90065-6","volume":"9","author":"K.M. Chandy","year":"1979","unstructured":"Chandy, K.M., Misra, J.: Deadlock absence proofs for networks of communicating processes. Inf. Process. Lett.9, 185?189 (1979)","journal-title":"Inf. Process. Lett."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1145\/358598.358613","volume":"24","author":"K.M. Chandy","year":"1981","unstructured":"Chandy, K.M., Misra, J.: Asynchronous distributed simulation via a sequence of parallel computations. Commun. ACM24, 198?205 (1981)","journal-title":"Commun. ACM"},{"key":"CR9","volume-title":"Parallel program design","author":"K.M. Chandy","year":"1989","unstructured":"Chandy, K.M., Misra, J.: Parallel program design. Reading: Addison-Wesley 1989"},{"issue":"2","key":"CR10","first-page":"53","volume":"21","author":"K.M. Chandy","year":"1989","unstructured":"Chandy, K.M., Sherman, R.: Space-time and simulation. Proc. Distributed Simulation, Simulat. Ser.21(2), 53?57 (1989)","journal-title":"Proc. Distributed Simulation, Simulat. Ser."},{"key":"CR11","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-18540-2","volume-title":"Semantics of digital circuits","author":"C. Delgado Kloos","year":"1987","unstructured":"Delgado Kloos, C.: Semantics of digital circuits. (Lect. Notes Comput. Sci., vol. 285). Berlin, Heidelberg, New York: Springer 1987"},{"key":"CR12","unstructured":"Fischer, K.: Ereignisflu\u00df-Modelle f\u00fcr die effiziente Simulation digitaler Systeme. Dissertation, Universit\u00e4t Passau, 1986"},{"key":"CR13","volume-title":"The process view of simulation","author":"W.R. Franta","year":"1977","unstructured":"Franta, W.R.: The process view of simulation. New York: North Holland 1977"},{"key":"CR14","first-page":"34","volume":"III","author":"R.M. Fujimoto","year":"1988","unstructured":"Fujimoto, R.M.: Lookahead in parallel dicrete event simulation. Proc. Int. Conf. on Parallel Processing, III 34?41, 1988","journal-title":"Proc. Int. Conf. on Parallel Processing"},{"key":"CR15","first-page":"242","volume":"III","author":"R.M. Fujimoto","year":"1989","unstructured":"Fujimoto, R.M.: Time warp on a shared memory multiprocessor. Proc. Int. Conf. on Parallel Processing, III 242?249, 1989","journal-title":"Proc. Int. Conf. on Parallel Processing"},{"issue":"10","key":"CR16","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/84537.84545","volume":"33","author":"R.M. Fujimoto","year":"1990","unstructured":"Fujimoto, R.M.: Parallel dicrete event simulation. Commun ACM33(10), 31?53 (1990)","journal-title":"Commun ACM"},{"key":"CR17","volume-title":"Grundz\u00fcge der Mengenlehre. 1914","author":"F. Hausdorff","year":"1978","unstructured":"Hausdorff, F.: Grundz\u00fcge der Mengenlehre. 1914. Repr. New York: Chelsea 1978"},{"key":"CR18","volume-title":"Elements of functional languages","author":"M.C. Henson","year":"1987","unstructured":"Henson, M.C.: Elements of functional languages. Oxford: Blackwell 1987"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1145\/3916.3988","volume":"7","author":"D.R. Jefferson","year":"1985","unstructured":"Jefferson, D.R.: Virtual time. ACM TOPLAS7, 404?425 (1985)","journal-title":"ACM TOPLAS"},{"issue":"2","key":"CR20","first-page":"63","volume":"15","author":"D.R. Jefferson","year":"1985","unstructured":"Jefferson, D.R., Sowizral, H.: Fast concurrent using the time warp mechanism. Proc. Distributed Simulation, Simulat. Ser.15(2), 63?69 (1985)","journal-title":"Proc. Distributed Simulation, Simulat. Ser."},{"key":"CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-71120-6","volume-title":"Rechensysteme ? Grundlagen der Modellbildung","author":"E. Jessen","year":"1987","unstructured":"Jessen, E., Valk, R.: Rechensysteme ? Grundlagen der Modellbildung. Berlin, Heidelberg, New York: Springer 1987"},{"key":"CR22","unstructured":"Kahn, G.: The semantics of a simple language for parallel processing. In: Rosenfeld, J.L. (ed.) Proc. Inf. Processing74, 471?475 (1974)"},{"key":"CR23","volume-title":"Introductory functional analysis with applications","author":"E. Keyszig","year":"1978","unstructured":"Keyszig, E.: Introductory functional analysis with applications. New York: Wiley 1978"},{"issue":"1","key":"CR24","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/6462.6485","volume":"18","author":"J. Misra","year":"1986","unstructured":"Misra, J.: Distributed discrete-event simulation. ACM Comput. Surv.18 (1), 39?64 (1986)","journal-title":"ACM Comput. Surv."},{"key":"CR25","first-page":"3","volume-title":"Foundations of computer science, III, Mathematical Centre Tracts vol. 109","author":"M. Nivat","year":"1979","unstructured":"Nivat, M.: Infinite words, infinite trees, infinite computations. In: de Bakker, J.W., van Leeuwen, J. (eds.) Foundations of computer science, III, Mathematical Centre Tracts vol. 109 pp. 3?52. Amsterdam: Math. Centre 1979"},{"key":"CR26","volume-title":"The implementation of functional programming languages","author":"S.L. Peyton-Jones","year":"1987","unstructured":"Peyton-Jones, S.L.: The implementation of functional programming languages. Englewood Cliffs: Prentice Hall 1987"},{"key":"CR27","unstructured":"Plotkin, G.D.: Domain theory. Lecture, Edinburgh, 1981"},{"key":"CR28","volume-title":"Philosophie der Raum-Zeit-Lehre. 1928","author":"H. Reichenbach","year":"1977","unstructured":"Reichenbach, H.: Philosophie der Raum-Zeit-Lehre. 1928. Repr. Basel: Birkh\u00e4user 1977"},{"key":"CR29","volume-title":"Simulation of computer communication systems","author":"C.H. Sauer","year":"1983","unstructured":"Sauer, C.H., MacNair, E.A.: Simulation of computer communication systems. Englewood Cliffs: Prentice Hall 1983"},{"key":"CR30","unstructured":"Winskel, G.: Events in computation. Thesis, Edinburgh 1980"},{"key":"CR31","volume-title":"Theory of modelling and simulation","author":"B.P. Zeigler","year":"1976","unstructured":"Zeigler, B.P.: Theory of modelling and simulation. New York: Wiley 1976"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01178679.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01178679\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01178679","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T13:07:54Z","timestamp":1556629674000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01178679"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,7]]},"references-count":31,"journal-issue":{"issue":"7","published-print":{"date-parts":[[1991,7]]}},"alternative-id":["BF01178679"],"URL":"https:\/\/doi.org\/10.1007\/bf01178679","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,7]]}}}