{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:34:43Z","timestamp":1725496483639},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540668565"},{"type":"electronic","value":"9783540466741"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46674-6_8","type":"book-chapter","created":{"date-parts":[[2007,11,29]],"date-time":"2007-11-29T15:50:17Z","timestamp":1196351417000},"page":"74-86","source":"Crossref","is-referenced-by-count":0,"title":["Relating May and Must Testing Semantics for Discrete Timed Process Algebras"],"prefix":"10.1007","author":[{"given":"Luis Fernando","family":"Llana D\u00edaz","sequence":"first","affiliation":[]},{"given":"David","family":"de Frutos Escrig","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,11,19]]},"reference":[{"key":"8_CR1","series-title":"Lect Notes Comput Sci","first-page":"249","volume-title":"CONCUR\u2019 95","author":"J. Bryans","year":"1995","unstructured":"J. Bryans, J. Davies, and S. Schneider. Towards a denotational semantics for ET-LOTOS. In CONCUR\u2019 95, volume 962 of Lecture Notes in Computer Science, pages 249\u2013263. Springer-Verlag, 1995."},{"key":"8_CR2","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":"8_CR3","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. Theo retical Computer Science, 118:263\u2013299, 1993.","journal-title":"Theo retical Computer Science"},{"unstructured":"M. Hennessy. Algebraic Theory of Processes. MIT Press, 1988.","key":"8_CR4"},{"key":"8_CR5","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"},{"unstructured":"Lars Jenner. Further studies on time testing of concurrent systems. Technical report, Institut f\u00fcr Informatik, Universitat Augsburg, 1998.","key":"8_CR6"},{"unstructured":"L. F. Llana-D\u00edaz, D. de Frutos, and M. N\u00fa\u00f1nez. Testing semantics for urgent process algebras. In Third AMAST Workshop in Real Time Programming, pages 33\u201346, 1996.","key":"8_CR7"},{"unstructured":"L. F. Llana-D\u00edaz. Jugando con el Tiempo. PhD thesis, Universidad Complutense de Madrid, 1996. Available in http:\/\/dalila.sip.ucm.es\/miembros\/luis\/ps\/tesis.ps.gz.","key":"8_CR8"},{"unstructured":"G. M. Reed. A Uniform Mathematical Theory for Real-Time Distributed Computing. PhD thesis, Oxford University, 1988.","key":"8_CR9"},{"key":"8_CR10","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 and A. W. Roscoe. A timed model for communicating sequential processes. Theoretical Computer Science, 58:249\u2013261, 1988.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"8_CR11","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"}],"container-title":["Lecture Notes in Computer Science","Advances in Computing Science \u2014 ASIAN\u201999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46674-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,26]],"date-time":"2019-02-26T00:59:40Z","timestamp":1551142780000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46674-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540668565","9783540466741"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-46674-6_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}