{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:39:33Z","timestamp":1775054373326,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540630104","type":"print"},{"value":"9783540690580","type":"electronic"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63010-4_25","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:58:49Z","timestamp":1330297129000},"page":"368-382","source":"Crossref","is-referenced-by-count":3,"title":["Denotational semantics for timed testing"],"prefix":"10.1007","author":[{"given":"Luis Fernando","family":"Llana D\u00edaz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"de Frutos Escrig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"25_CR1","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/BF01898401","volume":"3","author":"J. C. M. Baeten","year":"1993","unstructured":"J. C. M. Baeten and J. A. Bergstra. Real time process algebra. Formal Aspects of Computing, 3:142\u2013188, 1993.","journal-title":"Formal Aspects of Computing"},{"key":"25_CR2","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 and J. W. Klop. Process algebra for syncronous communication. Information and Control, 60:109\u2013137, 1984.","journal-title":"Information and Control"},{"key":"25_CR3","unstructured":"D. de Frutos, G. Leduc, L. L\u00e9onard, L. F. Llana-D\u00edaz, C. Miguel, J. Que-mada, and G. Rabay. Time Extended LOTOS. In J. Quemada, editor, Working Draft on Enhancements to LOTOS. ISO\/IEC JTC1\/SC21\/WG1, November 1995."},{"key":"25_CR4","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola de","year":"1984","unstructured":"R. de Nicola and M. C. B. Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34:83\u2013133, 1984.","journal-title":"Theoretical Computer Science"},{"key":"25_CR5","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0304-3975(93)90111-6","volume":"118","author":"J. F. Groote","year":"1993","unstructured":"J. F. Groote. Transition system specifications with negative premises. Theoretical Computer Science, 118:263\u2013299, 1993.","journal-title":"Theoretical Computer Science"},{"key":"25_CR6","unstructured":"M. Hennessy. Algebraic Theory of Processes. MIT Press, 1988."},{"key":"25_CR7","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":"25_CR8","doi-asserted-by":"publisher","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":"25_CR9","unstructured":"L. F. Llana-D\u00edaz, D. de Frutos, and M. N\u00fa\u00f1ez. Testing semantics for urgent process algebras. In Third AMAST Workshop in Real Time Programming, March 1996. To appear in World Sientific: AMAST Series in Computing."},{"key":"25_CR10","unstructured":"L. F. Llana-D\u00edaz. Jugando con el Tiempo. PhD thesis, Universidad Com-plutense de Madrid, 1996."},{"key":"25_CR11","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"25_CR12","first-page":"376","volume":"575","author":"X. Nicollin","year":"1991","unstructured":"X. Nicollin and J. Sifakis. An overview and synthesis on timed process algebras. In Computer Aided Design, pages 376\u2013398, 1991. LNCS 575.","journal-title":"LNCS"},{"key":"25_CR13","unstructured":"Y. Ortega-Mall\u00e9n. En Busca del Tiempo Perdido. PhD thesis, Departamento de Inform\u00e1tica y Autom\u00e1tica. Universidad Complutense de Madrid, 1991."},{"key":"25_CR14","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/BF01211556","volume":"5","author":"J. Quemada","year":"1993","unstructured":"J. Quemada, D. de Frutos, and A. Azcorra. Tic: A timed calculus. Formal Aspects of Computing, 5:224\u2013252, 1993.","journal-title":"Formal Aspects of Computing"},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"G. M. Reed and A. W. Roscoe. A timed model for communicating sequential processes. In ICALP '86, pages 314\u2013323. Springer-Verlag, 1986. LNCS 226.","DOI":"10.1007\/3-540-16761-7_81"},{"issue":"2","key":"25_CR16","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1995.1014","volume":"116","author":"S. Schneider","year":"1995","unstructured":"S. Schneider. An operational semantics for timed CSP. Information and Computation, 116(2):193\u2013213, 1995.","journal-title":"Information and Computation"},{"key":"25_CR17","unstructured":"W. Yi. A Calculus of Real Time Systems. PhD thesis, Department of Computer Science. Chalmers University of Technology, 1991."}],"container-title":["Lecture Notes in Computer Science","Transformation-Based Reactive Systems Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63010-4_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T11:28:16Z","timestamp":1640950096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63010-4_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630104","9783540690580"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-63010-4_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}