{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:33:55Z","timestamp":1759336435702},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638889"},{"type":"electronic","value":"9783540696612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0000494","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T10:30:36Z","timestamp":1128508236000},"page":"524-538","source":"Crossref","is-referenced-by-count":13,"title":["Extending process languages with time"],"prefix":"10.1007","author":[{"given":"Irek","family":"Ulidowski","sequence":"first","affiliation":[]},{"given":"Shoji","family":"Yuen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"key":"36_CR1","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0304-3975(87)90065-X","volume":"53","author":"S. Abramsky","year":"1987","unstructured":"S. Abramsky. Observation equivalence as a testing equivalence. Theoretical Computer Science, 53:225\u2013241, 1987.","journal-title":"Theoretical Computer Science"},{"key":"36_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1006\/inco.1994.1040","volume":"111","author":"L. Aceto","year":"1994","unstructured":"L. Aceto, B. Bloom, and F.W. Vaandrager. Turning SOS rules into equations. Information and Computation, 111:1\u201352, 1994.","journal-title":"Information and Computation"},{"key":"36_CR3","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. Formal Aspects of Computing, 3:142\u2013188, 1991.","journal-title":"Formal Aspects of Computing"},{"key":"36_CR4","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/BF01214556","volume":"8","author":"J.C.M Baeten","year":"1996","unstructured":"J.C.M Baeten and J.A. Bergstra. Discrete time process algebra. Formal Aspects of Computing, 8:188\u2013208, 1996.","journal-title":"Formal Aspects of Computing"},{"issue":"1","key":"36_CR5","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1145\/200836.200876","volume":"42","author":"B. Bloom","year":"1995","unstructured":"B. Bloom, S. Istrail, and A.R. Meyer. Bisimulation can't be traced. Journal of ACM, 42(1):232\u2013268, 1995.","journal-title":"Journal of ACM"},{"key":"36_CR6","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0304-3975(94)00152-9","volume":"146","author":"B. Bloom","year":"1995","unstructured":"B. Bloom. Structural operational semantics for weak bisimulations. Theoretical Computer Science, 146:27\u201368, 1995.","journal-title":"Theoretical Computer Science"},{"key":"36_CR7","doi-asserted-by":"crossref","unstructured":"J.C.M Baeten and W.P Weijland. Process Algebra, volume 18. Cambridge Tracts in Theoretical Computer Science, 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"36_CR8","unstructured":"J.F. Groote. Specification and verification of real time systems in ACP. In L. Logrippo, L.R. Probert, and H. Ural, editors, Proceedings of PSTV'90, Ottawa, 1990."},{"key":"36_CR9","doi-asserted-by":"crossref","unstructured":"M. Hennessy. Timed process algebras: A tutorial. Technical Report 2\/93, Dept. of Computer Science, University of Sussex, 1993.","DOI":"10.1007\/978-3-662-02880-3_11"},{"key":"36_CR10","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"36_CR11","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1006\/inco.1995.1041","volume":"117","author":"M. Hennessy","year":"1995","unstructured":"M. Hennessy and T. Regan. A process algebra for timed systems. Information and Computation, 117:221\u2013239, 1995.","journal-title":"Information and Computation"},{"key":"36_CR12","doi-asserted-by":"crossref","unstructured":"A. Jeffrey. A linear time process algebra. In K.G. Larsen and A. Skou, editors, Proceedings of CAV'91, Aalborg, 1991. Springer-Verlag. LNCS 575.","DOI":"10.1007\/3-540-55179-4_40"},{"issue":"3","key":"36_CR13","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0169-7552(96)00078-5","volume":"29","author":"L. L\u00e9onard","year":"1997","unstructured":"L. L\u00e9onard and G. Leduc. An introduction to ET-LOTOS for the description of time-sensitive systems. Computer Networks and ISDN Systems, 29(3):271\u2013292, 1997.","journal-title":"Computer Networks and ISDN Systems"},{"key":"36_CR14","series-title":"LNCS 112","volume-title":"CAAP 81","author":"R. Milner","year":"1981","unstructured":"R. Milner. A modal characterisation of observable machine behaviours. In G. Astesiano and C. B\u00f6hm, editors, CAAP 81, Berlin, 1981. Springer-Verlag. LNCS 112."},{"key":"36_CR15","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"36_CR16","series-title":"LNCS 458","volume-title":"Proceedings of CONCUR'90","author":"F. Moller","year":"1990","unstructured":"F. Moller and C. Tofts. A temporal calculus of communicating systems. In J.C.M. Baeten and J.W. Klop, editors, Proceedings of CONCUR'90, Amsterdam, 1990. Springer-Verlag. LNCS 458."},{"key":"36_CR17","series-title":"LNCS 527","volume-title":"Proceedings of CONCUR'91","author":"F. Moller","year":"1991","unstructured":"F. Moller and C. Tofts. Relating processes with respect to speed. In J.C.M. Baeten and J.F. Groote, editors, Proceedings of CONCUR'91, Amsterdam, 1991. Springer-Verlag. LNCS 527."},{"key":"36_CR18","unstructured":"X. Nicollin, J.-L. Richier, J. Sifakis, and J. Voiron. ATP: an algebra for timed processes. In Proceedings of the IFIP TC2 Working Conference on Programming Concepts and Methods, Sea of Galilea, 1990."},{"key":"36_CR19","series-title":"LNCS 575","volume-title":"Proceedings of CAV'91","author":"X. Nicollin","year":"1991","unstructured":"X. Nicollin and J. Sifakis. An overview and synthesis on timed process algebras. In K.G. Larsen and A. Skou, editors, Proceedings of CAV'91, Aalborg, 1991. Springer-Verlag. LNCS 575."},{"key":"36_CR20","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1006\/inco.1994.1083","volume":"114","author":"X. Nicollin","year":"1994","unstructured":"X. Nicollin and J. Sifakis. The algebra of timed processes, ATP: Theory and application. Information and Computation, 114:131\u2013178, 1994.","journal-title":"Information and Computation"},{"key":"36_CR21","unstructured":"G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, 1981."},{"key":"36_CR22","unstructured":"I.C.C. Phillips and I. Ulidowski. Stable and timed formats for process algebra. Technical Report, Imperial College, 1995."},{"key":"36_CR23","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0304-3975(88)90030-8","volume":"58","author":"G.M. Reed","year":"1988","unstructured":"G.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":"36_CR24","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1006\/inco.1995.1014","volume":"116","author":"S. A. Schneider","year":"1995","unstructured":"S. A. Schneider. An operational semantics for timed CSP. Information and Computation, 116:193\u2013213, 1995.","journal-title":"Information and Computation"},{"key":"36_CR25","unstructured":"I. Ulidowski. Local Testing and Implementable Concurrent Processes. PhD thesis, Imperial College, University of London, 1994."},{"key":"36_CR26","series-title":"LNCS 1101","volume-title":"Proceedings of AMAST'96","author":"I. Ulidowski","year":"1996","unstructured":"I. Ulidowski. Finite axiom systems for testing preorder and De Simone process languages. In M. Wirsing and M. Nivat, editors, Proceedings of AMAST'96, M\u00fcnchen, 1996. Springer. LNCS 1101."},{"key":"36_CR27","series-title":"LNCS 1214","volume-title":"Proceedings of TAPSOFT'97","author":"I. Ulidowski","year":"1997","unstructured":"I. Ulidowski and I.C.C. Phillips. Formats of ordered SOS rules with silent actions. In M. Bidoit and M. Dauchet, editors, Proceedings of TAPSOFT'97, Lille, 1997. Springer. LNCS 1214."},{"key":"36_CR28","unstructured":"I. Ulidowski and S. Yuen. Towards general timed process languages. Available at http:\/\/www.kurims.kyoto-u.ac.jp\/\u223cirek\/."},{"key":"36_CR29","unstructured":"R.J. van Glabbeek and W.P. Weijland. Branching time and abstraction in bisimulation semantics. In G.X. Ritter, editor, Information Processing 89, pages 613\u2013618. Elsevier Science Publishers, 1989. To appear in JACM."},{"issue":"2","key":"36_CR30","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1016\/0890-5401(90)90048-M","volume":"85","author":"D. Walker","year":"1990","unstructured":"D. Walker. Bisimulation and divergence. Information and Computation, 85(2):202\u2013241, 1990.","journal-title":"Information and Computation"},{"key":"36_CR31","volume-title":"PhD thesis","author":"Y. Wang","year":"1991","unstructured":"Y. Wang. A Calculus of Real Time Systems. PhD thesis, Chalmers University of Technology, G\u00f6teborg, 1991."},{"key":"36_CR32","unstructured":"W.P. Weijland. Synchrony and Asynchrony in Process Algebra. PhD thesis, University of Amsterdam, 1989."},{"key":"36_CR33","unstructured":"ISO\/IEC JTC1\/SC21 WG7. Working Draft on Enhancements to LOTOS. ftp:\/\/ftp.dit.upm.es\/pub\/lotos\/elotos\/Working.Docs\/cd.ps, 1997."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000494","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,4]],"date-time":"2023-05-04T23:19:58Z","timestamp":1683242398000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000494"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638889","9783540696612"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/bfb0000494","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}