{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:08:50Z","timestamp":1760202530557},"reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558224"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0084806","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T13:12:14Z","timestamp":1164373934000},"page":"401-420","source":"Crossref","is-referenced-by-count":6,"title":["Discrete 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","reference":[{"issue":"2","key":"29_CR1","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.","journal-title":"Formal Aspects of Computing"},{"key":"29_CR2","unstructured":"J.C.M. Baeten & J.A. Bergstra, A survey of axiom systems for process algebras, report P9111, Programming Research Group, University of Amsterdam 1991."},{"key":"29_CR3","volume-title":"report CS-R9103","author":"J.C.M. Baeten","year":"1991","unstructured":"J.C.M. Baeten & J.A. Bergstra, Process algebra with signals and conditions, report CS-R9103, CWI, Amsterdam 1991. To appear in Proc. NATO Summer School, Marktoberdorf 1990 (M. Broy, ed.), Springer Verlag."},{"key":"29_CR4","unstructured":"J.C.M. Baeten & J.A. Bergstra, Real space process algebra, report CSN 92\/03, Dept. of Comp. Sci., Eindhoven University of Technology 1992."},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten & W.P. Weijland, Process algebra, Cambridge Tracts in Theor. Comp. Sci. 18, Cambridge University Press 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"29_CR6","doi-asserted-by":"publisher","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"},{"issue":"3","key":"29_CR7","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"S.D. Brookes, C.A.R. Hoare & A.W. Roscoe, A theory of communicating sequential processes, JACM 31 (3), 1984, pp. 560\u2013599.","journal-title":"JACM"},{"key":"29_CR8","first-page":"261","volume-title":"Proc. 10th Symp. on Protocol Specification, Testing and Verification, Ottawa","author":"J.F. Groote","year":"1990","unstructured":"J.F. Groote, Specification and verification of real time systems in ACP, in: Proc. 10th Symp. on Protocol Specification, Testing and Verification, Ottawa (L. Logrippo, R.L. Probert & H. Ural, eds.), North-Holland, Amsterdam 1990, pp. 261\u2013274."},{"key":"29_CR9","series-title":"LNCS 458","first-page":"332","volume-title":"Proc. CONCUR'90","author":"J.F. Groote","year":"1990","unstructured":"J.F. Groote, Transition system specifications with negative premises, in: Proc. CONCUR'90, Amsterdam (J.C.M. Baeten & J.W. Klop, eds.), LNCS 458, Springer 1990, pp. 332\u2013341."},{"key":"29_CR10","unstructured":"D.P. Gruska & A. Maggiolo-Schettini, A timed process description language based on CCS, report TR-9\/91, Universit\u00e1 di Pisa 1991."},{"key":"29_CR11","unstructured":"H. Hansson, Time and probabilities in formal design of distributed systems, Ph.D. thesis, report DoCS 91\/27, Uppsala University, 1991."},{"key":"29_CR12","unstructured":"M. Hennessy & T. Regan, A temporal process algebra, report 2\/90, University of Sussex 1990."},{"key":"29_CR13","volume-title":"report CS-R9106","author":"A.S. Klusener","year":"1991","unstructured":"A.S. Klusener, Completeness in real time process algebra, report CS-R9106, CWI Amsterdam 1991. Extended abstract in Proc. CONCUR'91, Amsterdam (J.C.M. Baeten & J.F. Groote, eds.), Springer LNCS 527, 1991, pp. 376\u2013392."},{"key":"29_CR14","unstructured":"A.S. Klusener, Abstraction in real time process algebra, to appear in Proc. REX Workshop on Real Time: Theory in Practice (J.W. de Bakker, C. Huizing, W.P. de Roever & G. Rozenberg, eds.), Mook 1991, Springer LNCS."},{"key":"29_CR15","unstructured":"R. Milner, Communication and concurrency, Prentice-Hall 1989."},{"key":"29_CR16","unstructured":"F. Moller & C. Tofts, A temporal calculus of communicating systems, report LFCS-89-104, University of Edinburgh 1989."},{"key":"29_CR17","series-title":"LNCS 458","first-page":"401","volume-title":"Proc. CONCUR'90","author":"F. Moller","year":"1990","unstructured":"F. Moller & C. Tofts, A temporal calculus of communicating systems, in: Proc. CONCUR'90, Amsterdam (J.C.M. Baeten & J.W. Klop, eds.), LNCS 458, Springer 1990, pp. 401\u2013415."},{"key":"29_CR18","volume-title":"report RT-C26","author":"X. Nicollin","year":"1990","unstructured":"X. Nicollin & J. Sifakis, The algebra of timed processes ATP: theory and application, report RT-C26, IMAG, Grenoble 1990."},{"key":"29_CR19","unstructured":"X. Nicollin, J.-L. Richier, J. Sifakis & J. Voiron, ATP: an algebra for timed processes, in Proc. IFIP TC2 Conf. on Progr. Concepts & Methods, Sea of Gallilee, Israel 1990."},{"key":"29_CR20","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"}],"container-title":["Lecture Notes in Computer Science","CONCUR '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0084806.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:07:30Z","timestamp":1607551650000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0084806"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540558224"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0084806","relation":{},"subject":[]}}