{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:13:09Z","timestamp":1725473589930},"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\/bfb0084807","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T13:12:14Z","timestamp":1164373934000},"page":"421-435","source":"Crossref","is-referenced-by-count":2,"title":["The silent step in time"],"prefix":"10.1007","author":[{"given":"A. S.","family":"Klusener","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"30_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 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"},{"key":"30_CR2","series-title":"LNCS 267","first-page":"84","volume-title":"Proceedings 14th ICALP","author":"J.C.M. Baeten","year":"1987","unstructured":"J.C.M. Baeten and R.J. van Glabbeek. Another look at abstraction in process algebra. In Proceedings 14 th ICALP, Karlsruhe, LNCS 267, pages 84\u201394. Springer-Verlag, 1987."},{"key":"30_CR3","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":"30_CR4","volume-title":"Report CS-R9149","author":"W.J. Fokkink","year":"1991","unstructured":"W.J. Fokkink. Normal forms in real time process algebra. Report CS-R9149, CWI, Amsterdam, 1991."},{"key":"30_CR5","volume-title":"Report CS-R9120","author":"R.J. Glabbeek van","year":"1991","unstructured":"R.J. van Glabbeek and W.P. Weijland. Branching time and abstraction in bisimulation semantics. Report CS-R9120, CWI, Amsterdam, 1991. An extended abstract of an earlier version has appeared in Information Processing 89, North-Holland, 1989."},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"M. Hennessy and R. Milner. On observing nondeterminism and concurrency. In Proceedings 7 th ICALP, LNCS 85, pages 299\u2013309. Springer-Verlag, 1980. This is a preliminary version of Algebraic laws for nondeterminism and concurrency. JACM 32(1), pp. 137\u2013161, 1985.","DOI":"10.1145\/2455.2460"},{"key":"30_CR7","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall International, 1985."},{"key":"30_CR8","volume-title":"Technical Report Memo 78","author":"A. Jeffrey","year":"1991","unstructured":"A. Jeffrey. Discrete timed CSP. Technical Report Memo 78, Chalmers University, Goteborg, 1991."},{"key":"30_CR9","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. An extended abstract appeared in Proceedings CONCUR 91, Amsterdam, LNCS 527, pages 376\u2013392. Springer-Verlag, 1991."},{"key":"30_CR10","volume-title":"Report CS-R9144","author":"A.S. Klusener","year":"1991","unstructured":"A.S. Klusener. Abstraction in real time process algebra. Report CS-R9144, CWI, Amsterdam, 1991. An extended abstract appeared in Proceedings of the REX workshop \u201cReal-Time: Theory in Practice\u201d, LNCS 600, Springer-Verlag, 1991."},{"key":"30_CR11","volume-title":"The silent step in time","author":"A.S. Klusener","year":"1992","unstructured":"A.S. Klusener. The silent step in time. To appear, CWI, Amsterdam, 1992."},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"R. Milner. A Calculus of Communicating Systems, LNCS 92. Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"R. Milner. Modal characterisation of observable machine behaviour. In Proceedings CAAP 81, LNCS 112, pages 25\u201334. Springer-Verlag, 1981.","DOI":"10.1007\/3-540-10828-9_52"},{"key":"30_CR14","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"R. Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science, 25:267\u2013310, 1983.","journal-title":"Theoretical Computer Science"},{"key":"30_CR15","unstructured":"R. Milner. Communication and concurrency. Prentice Hall International, 1989."},{"key":"30_CR16","series-title":"LNCS 458","first-page":"401","volume-title":"Proceedings CONCUR 90","author":"F. Moller","year":"1990","unstructured":"F. Moller and C. Tofts. A temporal calculus of communicating systems. In Proceedings CONCUR 90, Amsterdam, LNCS 458, pages 401\u2013415. Springer-Verlag, 1990."},{"key":"30_CR17","volume-title":"Behavioural abstraction in TCCS","author":"F. Moller","year":"1992","unstructured":"F. Moller and C. Tofts. Behavioural abstraction in TCCS. To appear in Proceedings ICALP 92, Vienna, LNCS, Springer-Verlag, 1992."},{"key":"30_CR18","unstructured":"G.D. Plotkin. A structural approach to operational semantics. Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981."},{"key":"30_CR19","unstructured":"F.W. Vaandrager and N.A. Lynch. Action transducers and timed automata. 1992. This Volume."},{"key":"30_CR20","volume-title":"PhD thesis","author":"Y. Wang","year":"1990","unstructured":"Y. Wang. A Calculus of Real Time Systems. PhD thesis, Chalmers University of Technology, G\u00f6teborg, 1990."}],"container-title":["Lecture Notes in Computer Science","CONCUR '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0084807.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\/BFb0084807"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540558224"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0084807","relation":{},"subject":[]}}