{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T19:56:11Z","timestamp":1725652571374},"publisher-location":"London","reference-count":18,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198222"},{"type":"electronic","value":"9781447132172"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3217-2_14","type":"book-chapter","created":{"date-parts":[[2012,1,16]],"date-time":"2012-01-16T17:40:09Z","timestamp":1326735609000},"page":"231-240","source":"Crossref","is-referenced-by-count":1,"title":["The Total Order Assumption"],"prefix":"10.1007","author":[{"given":"J. C. M.","family":"Baeten","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"14_CR1","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/BF01898401","volume":"3","author":"JCM Baeten","year":"1991","unstructured":"J.C.M. Baeten & J.A. Bergstra, Real time process algebra, Formal Aspects of Computing 3 (2), 1991, pp. 142\u2013188.","journal-title":"Formal Aspects of Computing"},{"key":"14_CR2","first-page":"110","volume-title":"CONCUR\u201991, Amsterdam","author":"JCM Baeten","year":"1991","unstructured":"J.C.M. Baeten & J.A. Bergstra, Real space process algebra, in: Proc. CONCUR\u201991, Amsterdam (J.C.M. Baeten & J.F. Groote, eds.), Springer LNCS 527, 1991, pp. 96\u2013110."},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten & J.A. Bergstra, Asynchronous communication in real space process algebra, in: Proc. Formal Techniques in Real-Time and Fault-Tolerant Systems, Nijmegen 1992 (J. Vytopil, ed.), Springer LNCS 571, 1991, pp. 473\u2013492.","DOI":"10.1007\/3-540-55092-5_26"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten, J.A. Bergstra & S.A. SMOLKA, Axiomatizing probabilistic processes: ACP with generative probabilities, in: Proc. CONCUR\u201992, Stony Brook (W.R. Cleaveland, ed.), Springer LNCS 630, 1992, pp. 472\u2013485.","DOI":"10.1007\/BFb0084810"},{"key":"14_CR5","volume-title":"Cambridge University Press","author":"JCM Baeten","year":"1990","unstructured":"J.C.M. Baeten & W.P. Wegland, Process algebra, Cambridge Tracts in Theor. Comp. Sci. 18, Cambridge University Press 1990."},{"key":"14_CR6","first-page":"23","volume-title":"Verification of an alternating bit protocol by means of process algebra","author":"JA Bergstra","year":"1986","unstructured":"J.A. Bergstra & J.W. Klop, Verification of an alternating bit protocol by means of process algebra, in: Math. Methods of Spec. and Synthesis of Software Systems \u201885 (W. Bibel & K.P. Jantke, eds.), Springer LNCS 215, 1986, pp. 9\u201323."},{"key":"14_CR7","volume-title":"Fast model checking using partial order semantics, to appear in: Proc. Workshop \u201cWhat good is partial order\u201d, Sheffield","author":"J. Esparza","year":"1992","unstructured":"ESP92] J. Esparza, Fast model checking using partial order semantics, to appear in: Proc. Workshop \u201cWhat good is partial order\u201d, Sheffield, Technical Report, University of Hildesheim 1992."},{"key":"14_CR8","volume-title":"CWI Amsterdam","author":"W.J. Fokkink & A.S","year":"1992","unstructured":"W.J. Fokkink & A.S. Klusener, Real time process algebra with prefixed integration, report CS-R9219, CWI Amsterdam 1992."},{"key":"14_CR9","volume-title":"Aalborg University","author":"JC Godskesen","year":"1992","unstructured":"J.C. Godskesen & K.G. Larsen, Real-time calculi and expansion theorems, report, Aalborg University 1992."},{"key":"14_CR10","volume-title":"Prentice Hall","author":"C.A.R","year":"1985","unstructured":"C.A.R. Hoare, Communicating sequential processes, Prentice Hall 1985."},{"key":"14_CR11","first-page":"392","volume-title":"Completeness in real time process algebra","author":"AS Klusener","year":"1991","unstructured":"A.S. Klusener, Completeness in real time process algebra, in: Proc. CONCUR\u201991, Amsterdam (J.C.M. Baeten & J.F. Groote, eds.), Springer LNCS 527, 1991, pp. 376\u2013392."},{"key":"14_CR12","volume-title":"Prentice Hall","author":"R Milner","year":"1989","unstructured":"R. Milner, Communication and concurrency, Prentice Hall 1989."},{"key":"14_CR13","volume-title":"University of Edinburgh","author":"F Milner","year":"1989","unstructured":"F. Moller & C. Tofts, A temporal calculus of communicating systems, report LFCS-89\u2013104, University of Edinburgh 1989."},{"key":"14_CR14","first-page":"415","volume-title":"A temporal calculus of communicating systems","author":"F Moller","year":"1990","unstructured":"F. Moller & C. Tofts, A temporal calculus of communicating systems, in: Proc. CONCUR\u201990, Amsterdam (J.C.M. Baeten & J.W. Klop, eds.), Springer LNCS 458, 1990, pp. 401\u2013415."},{"key":"14_CR15","first-page":"572","volume-title":"From ATP to timed graphs and hybrid systems","author":"J Nicollin","year":"1992","unstructured":"Nicollin, J. Sifakis & S. Yovine, From ATP to timed graphs and hybrid systems, in: Proc. REX Workshop on Real Time: Theory in Practice, Mook 1991 (J.W. de Bakker, C. Huizing, W.P. de Roever & G. Rozenberg, eds.), Springer LNCS 600, 1992, pp. 549\u2013572."},{"key":"14_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri netst","author":"W Reisig","year":"1985","unstructured":"W. Reisig, Petri nets, Eatcs monograph on TCS, Springer Verlag 1985."},{"key":"14_CR17","first-page":"520","volume-title":"Real-time behaviour of asynchronous agents","author":"YI Wang","year":"1990","unstructured":"Wang YI, Real-time behaviour of asynchronous agents,in: Proc. CONCUR\u201990, Amsterdam (J.C.M. Baeten & J.W. Klop, eds.), Springer LNCS 458, 1990, pp. 502\u2013520."},{"key":"14_CR18","first-page":"392","volume-title":"Event structure","author":"G Winskel","year":"1986","unstructured":"G. Winskel, Event structures, in: Petri nets: applications and relationships to other models of concurrency, Bad Honnef 1986 (W. Brauer, W. Reisig & G. Rozenberg, eds.), Springer LNCS 255, 1987, pp. 325\u2013392."}],"container-title":["Workshops in Computing","NAPAW 92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3217-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T00:01:17Z","timestamp":1556150477000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3217-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198222","9781447132172"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3217-2_14","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}