{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:03Z","timestamp":1725663663058},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544302"},{"type":"electronic","value":"9783540383574"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54430-5_101","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:48:35Z","timestamp":1330210115000},"page":"376-392","source":"Crossref","is-referenced-by-count":9,"title":["Completeness in real time process algebra"],"prefix":"10.1007","author":[{"given":"A. S.","family":"Klusener","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"27_CR1","volume-title":"Process algebra with signals and conditions. Report P9008","author":"J.C.M. Baeten","year":"1990","unstructured":"J.C.M. Baeten and J.A. Bergstra. Process algebra with signals and conditions. Report P9008, University of Amsterdam, Amsterdam, 1990."},{"issue":"2","key":"27_CR2","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/BF01898401","volume":"3","author":"J.C.M. Baeten","year":"1991","unstructured":"J.C.M. Baeten and J.A. Bergstra. Real time process algebra. Journal of Formal Aspects of Computing Science, 3(2):142\u2013188, 1991.","journal-title":"Journal of Formal Aspects of Computing Science"},{"issue":"1\/3","key":"27_CR3","first-page":"109","volume":"60","author":"J.A. Bergstra","year":"1984","unstructured":"J.A. Bergstra and J.W. Klop. Process algebra for synchronous communication. Information and Computation, 60(1\/3):109\u2013137, 1984.","journal-title":"Information and Computation"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten and W.P. Weijland. Process algebra. Cambridge Tracts in Theoretical Computer Science 18. Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"R.J. van Glabbeek. Bounded nondeterminism and the approximation induction principle in process algebra. In F.J. Brandenburg, G. Vidal-Naquet, and M. Wirsing, editors, Proceedings STACS 87, volume 247 of Lecture Notes in Computer Science, pages 336\u2013347. Springer-Verlag, 1987.","DOI":"10.1007\/BFb0039617"},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"J.F. Groote. Transition system specifications with negative premises. Report CS-R8950, CWI, Amsterdam, 1989. An extended abstract appeared in J.C.M. Baeten and J.W. Klop, editors, Proceedings CONCUR 90, Amsterdam, LNCS 458, pages 332\u2013341. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0039069"},{"key":"27_CR7","unstructured":"J.F. Groote. Specification and verification of real time systems in ACP. Report CS-R9015, CWI, Amsterdam, 1990. An extended abstract appeared in L. Logrippo, R.L. Probert and H. Ural, editors, Proceedings 10 th International Symposium on Protocol Specification, Testing and Verification, Ottawa, pages 261\u2013274, 1990."},{"key":"27_CR8","unstructured":"A. Jeffrey. Discrete timed CSP. Technical Report Memo 78, Chalmers University, Goteborg, 1991. This document also appeared in this volume."},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"A.S. Klusener. Completeness in realtime process algebra. Report CS-R9106, CWI, Amsterdam, 1991.","DOI":"10.1007\/3-540-54430-5_101"},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"R. Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"F. Moller and C. Tofts. A temporal calculus of communicating systems. In J.C.M. Baeten and J.W. Klop, editors, Proceedings CONCUR 90, Amsterdam, volume 458 of Lecture Notes in Computer Science, pages 401\u2013415. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0039073"},{"key":"27_CR12","unstructured":"X. Nicollin and J. Sifakis. ATP: An algebra for timed processes. Technical Report RT-C26, IMAG, Laboratoire de G\u00e9nie informatique, Grenoble, 1990. An earlier version (RT-C16) appeared in M. Broy and C.B. Jones, editors, Proceedings IFIP Working Conference on Programming Concepts and Methods, Sea of Gallilea, Israel. North-Holland, 1990."},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"D.M.R. Park. Concurrency and automata on infinite sequences. In P. Deussen, editor, 5 th GI Conference, volume 104 of Lecture Notes in Computer Science, pages 167\u2013183. Springer-Verlag, 1981.","DOI":"10.1007\/BFb0017309"},{"key":"27_CR14","unstructured":"G.D. Plotkin. A structural approach to operational semantics. Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981."},{"key":"27_CR15","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0304-3975(88)90030-8","volume":"58","author":"M. Reed","year":"1988","unstructured":"M. Reed and A.W. Roscoe. A timed model for communicating sequential processes. Theoretical Computer Science, 58:249\u2013261, 1988.","journal-title":"Theoretical Computer Science"},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"Y. Wang. Real time behaviour of asynchronous agents. In J.C.M. Baeten and J.W. Klop, editors, Proceedings CONCUR 90, Amsterdam, volume 458 of Lecture Notes in Computer Science, pages 502\u2013520. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0039080"}],"container-title":["Lecture Notes in Computer Science","CONCUR '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54430-5_101.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:54:17Z","timestamp":1605646457000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54430-5_101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544302","9783540383574"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-54430-5_101","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}