{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:38:06Z","timestamp":1725457086315},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540555643"},{"type":"electronic","value":"9783540472186"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bfb0031989","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T01:36:29Z","timestamp":1134264989000},"page":"107-123","source":"Crossref","is-referenced-by-count":2,"title":["The state operator in real time process algebra"],"prefix":"10.1007","author":[{"given":"J. C. M.","family":"Baeten","sequence":"first","affiliation":[]},{"given":"J. A.","family":"Bergstra","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"issue":"3","key":"5_CR1","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0890-5401(88)90027-2","volume":"78","author":"J.C.M. Baeten","year":"1988","unstructured":"J.C.M. Baeten & J.A. Bergstra, Global renaming operators in concrete process algebra, Information & Computation 78 (3), 1988, pp. 205\u2013245.","journal-title":"Information & Computation"},{"issue":"2","key":"5_CR2","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/BF01898401","volume":"3","author":"J.C.M. 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. (Report version appeared as report P8916, University of Amsterdam 1989.)","journal-title":"Formal Aspects of Computing"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten & J.A. Bergstra, Real space process algebra, in Proc. CONCUR'91, Amsterdam (J.C.M. Baeten & J.F. Groote, eds.), Springer LNCS 527, 1991, pp. 96\u2013110. To appear in Formal Aspects of Computing.","DOI":"10.1007\/3-540-54430-5_83"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten & W.P. Weijland, Process algebra, Cambridge Tract in TCS 18, Cambridge University Press 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"5_CR5","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J.A. Bergstra","year":"1984","unstructured":"J.A. Bergstra & J.W. Klop, Process algebra for synchronous communication, Inf. & Control 60, 1984, pp. 109\u2013137.","journal-title":"Inf. & Control"},{"key":"5_CR6","series-title":"CWI Monograph","first-page":"61","volume-title":"Math. & Comp. Sci. II","author":"J.A. Bergstra","year":"1986","unstructured":"J.A. Bergstra & J.W. Klop, Process algebra: specification and verification in bisimulation semantics, in: Math. & Comp. Sci. II (M. Hazewinkel, J.K. Lenstra & L.G.L.T. Meertens, eds.), CWI Monograph 4, North-Holland, Amsterdam 1986, pp. 61\u201394."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"R.J. van Glabbeek & F.W. Vaandrager, Modular specifications in process algebra (with curious queues, in: Algebraic Methods: Theory, Tools & Applications, Passau 1987 (M. Wirsing & J.A. Bergstra, eds.), Springer LNCS 394, 1989, pp. 465\u2013506.","DOI":"10.1007\/BFb0015049"},{"key":"5_CR8","unstructured":"M. Hennessy, Algebraic theory of processes, MIT Press 1988."},{"key":"5_CR9","unstructured":"C.A.R. Hoare, Sequential communicating processes, Prentice Hall, 1985."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"A. Jeffrey, A linear time process algebra, in Proc. 3rd CAV, (K.G. Larsen & A. Skou, eds.), Aalborg 1991, report IR-91-4\/5, Aalborg University, pp. 501\u2013512.","DOI":"10.1007\/3-540-55179-4_40"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"A. Jeffrey, Abstract timed observation and process algebra, in Proc. CONCUR'91, Amsterdam (J.C.M. Baeten & J.F. Groote, eds.), Springer LNCS, 1991, pp. 332\u2013345.","DOI":"10.1007\/3-540-54430-5_98"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"A.S. Klusener, Completeness in real time process algebra, in Proc. CONCUR'91, Amsterdam (J.C.M. Baeten & J.F. Groote, eds.), Springer LNCS, 1991, pp. 376\u2013392.","DOI":"10.1007\/3-540-54430-5_101"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"C.P.J. Koymans & J.C. Mulder, A modular approach to protocol verification using process algebra, in: Applications of Process Algebra (J.C.M. Baeten, ed.), Cambridge Tracts in TCS 17, Cambridge University Press 1990, pp. 261\u2013306.","DOI":"10.1017\/CBO9780511608841.012"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"K.G. Larsen & R. Milner, A complete protocol verification using relativized bisilulation, in: Proc. 14th ICALP, Karlsruhe (Th. Ottmann, ed.), Springer LNCS 267, 1987, pp. 126\u2013135.","DOI":"10.1007\/3-540-18088-5_11"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"R. Milner, A calculus of communicating systems, Springer LNCS 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"5_CR16","unstructured":"R. Milner, Communication and concurrency, Prentice Hall, 1989."},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"F. Moller & C. Tofts, A temporal calculus of communicating systems, in: Proc. CONCUR'90, Amsterdam (J.C.M. Baeten & J.W. Klop, eds.), Springer LNCS 458, 1990, pp. 401\u2013415.","DOI":"10.1007\/BFb0039073"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"D.V.J. Murphy, Testing, betting and timed true concurrency, in Proc. CONCUR'91, Amsterdam (J.C.M. Baeten & J.F. Groote, eds.), Springer LNCS, 1991, pp. 439\u2013454.","DOI":"10.1007\/3-540-54430-5_105"},{"key":"5_CR19","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0304-3975(88)90030-8","volume":"58","author":"G.M. Reed","year":"1988","unstructured":"G.M. Reed & A.W. Roscoe, A timed model for communicating sequential processes, TCS 58, 1988, pp. 249\u2013261.","journal-title":"TCS"},{"key":"5_CR20","unstructured":"SPECS CONSORTIUM, Definition of MR and CRL version 2.1, 1990."},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"F.W. Vaandrager, Process algebra semantics of POOL, in: Applications of Process Algebra (J.C.M. Baeten, ed.), Cambridge Tracts in TCS 17, Cambridge University Press 1990, pp. 173\u2013236.","DOI":"10.1017\/CBO9780511608841.010"}],"container-title":["Lecture Notes in Computer Science","Real-Time: Theory in Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0031989","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T09:47:58Z","timestamp":1586598478000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031989"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540555643","9783540472186"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0031989","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}