{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:16:59Z","timestamp":1725664619827},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630104"},{"type":"electronic","value":"9783540690580"}],"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_24","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:58:40Z","timestamp":1330279120000},"page":"353-367","source":"Crossref","is-referenced-by-count":3,"title":["Testing semantics for a probabilistic-timed process algebra"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Gregorio-Rodr\u00edguez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis","family":"Llana-D\u00edaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pedro","family":"Palao-Gostanza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"24_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"},{"issue":"2","key":"24_CR2","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1006\/inco.1995.1135","volume":"121","author":"J.C.M. Baeten","year":"1995","unstructured":"J.C.M. Baeten, J.A. Bergstra, and S.A. Smolka. Axiomatizing probabilistic processes: ACP with generative probabilities. Information and Computation, 121(2):234\u2013255, 1995.","journal-title":"Information and Computation"},{"key":"24_CR3","unstructured":"I. Christoff. Testing Equivalences for Probabilistic Processes. PhD thesis, Department of Computer Systems. Uppsala University, 1990."},{"key":"24_CR4","unstructured":"R. Cleaveland, I. Lee, P. Lewis, and S.A. Smolka. A theory of testing for soft real-time processes. In 8th International Conference on Software Engineering and Knowledge Engineering, 1996."},{"key":"24_CR5","first-page":"708","volume":"623","author":"R. Cleaveland","year":"1992","unstructured":"R. Cleaveland, S.A. Smolka, and A.E. Zwarico. Testing preorders for probabilistic processes. In 19th ICALP, LNCS 623, pages 708\u2013719, 1992.","journal-title":"LNCS"},{"key":"24_CR6","unstructured":"A. Giacalone, C.-C. Jou, and S.A. Smolka. Algebraic reasoning for probabilistic concurrent systems. In Proceedings of Working Conference on Programming Concepts and Methods, IFIP TC 2, 1990."},{"key":"24_CR7","unstructured":"C. Gregorio, L. Llana, M. N\u00fa\u00f1ez, and P. Palao. Testing semantics for a probabilistic-timed process algebra. Technical Report 49\/97, Dpt. Inform\u00e1tica y Autom\u00e1tica, Universidad Complutense de Madrid, 1997."},{"key":"24_CR8","unstructured":"C. Gregorio and M. N\u00fa\u00f1ez. Specifying and verifying the Alternating Bit Protocol with Probabilistic-Timed LOTOS. In COST 247 International Workshop on Applied Formal Methods in System Design, pages 38\u201350, 1996."},{"key":"24_CR9","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0304-3975(93)90111-6","volume":"118","author":"J. F. Groote","year":"1993","unstructured":"Jan Friso Groote. Transition system specifications with negative premises. Theoretical Computer Science, 118:263\u2013299, 1993.","journal-title":"Theoretical Computer Science"},{"key":"24_CR10","unstructured":"Hans A. Hansson. Time and Probability in Formal Design of Distributed Systems. PhD thesis, Department of Computer Systems. Uppsala University, 1991."},{"key":"24_CR11","unstructured":"M. Hennessy. Algebraic Theory of Processes. MIT Press, 1988."},{"issue":"2","key":"24_CR12","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(2):221\u2013239, 1995.","journal-title":"Information and Computation"},{"key":"24_CR13","first-page":"418","volume":"863","author":"B. Jonsson","year":"1994","unstructured":"B. Jonsson, C. Ho-Stuart, and W. Yi. Testing and refinement for nonde-terministic and probabilistic processes. In Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, pages 418\u2013430, 1994.","journal-title":"LNCS"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"B. Jonsson and W. Yi. Compositional testing preorders for probabilistic processes. In 10th IEEE Symposium on Logic In Computer Science, pages 431\u2013443, 1995.","DOI":"10.1109\/LICS.1995.523277"},{"key":"24_CR15","unstructured":"L. Llana, D. de Frutos, and M. N\u00fa\u00f1ez. Testing semantics for urgent timed algebras. In 3rd AMAST Workshop on Real-Time Systems, 1996."},{"key":"24_CR16","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/0304-3975(94)00171-E","volume":"138","author":"G. Lowe","year":"1995","unstructured":"G. Lowe. Probabilistic and prioritized models of timed CSP. Theoretical Computer Science, 138:315\u2013352, 1995.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"24_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"K. Larsen","year":"1991","unstructured":"K. Larsen and A. Skou. Bisimulation through probabilistic testing. Information and Computation, 94(1):1\u201328, 1991.","journal-title":"Information and Computation"},{"key":"24_CR18","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"24_CR19","first-page":"365","volume":"VIII","author":"M. N\u00fa\u00f1ez","year":"1995","unstructured":"M. N\u00fa\u00f1ez and D. de Frutos. Testing semantics for probabilistic LOTOS. In Formal Description Techniques VIII, pages 365\u2013380, 1995.","journal-title":"Formal Description Techniques"},{"key":"24_CR20","first-page":"249","volume":"962","author":"M. N\u00fa\u00f1ez","year":"1995","unstructured":"M. N\u00fa\u00f1ez, D. de Frutos, and L. Llana. Acceptance trees for probabilistic processes. In CONCUR'95, LNCS 962, pages 249\u2013263, 1995.","journal-title":"CONCUR'95, LNCS"},{"key":"24_CR21","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 Verification'91, LNCS 575, pages 376\u2013398, 1991.","journal-title":"LNCS"},{"key":"24_CR22","unstructured":"M. N\u00fa\u00f1ez. Sem\u00e1nticas de Pruebas para \u00c1lgebras de Procesos Probabil\u00edsticos. PhD thesis, Universidad Complutense de Madrid, 1996. In Spanish."},{"key":"24_CR23","unstructured":"Y. Ortega-Mall\u00e9n and D. de Frutos. Timed observations: a semantic model for real-time concurrency. In Proceedings of Working Conference on Programming Concepts and Methods, IFIP TC 2, 1990."},{"key":"24_CR24","first-page":"314","volume":"226","author":"G.M. Reed","year":"1986","unstructured":"G.M. Reed and A.W. Roscoe. A timed model for CSP. In 13th ICALP, LNCS 226, pages 314\u2013323, 1986.","journal-title":"13th ICALP, LNCS"},{"key":"24_CR25","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:193\u2013213, 1995.","journal-title":"Information and Computation"},{"key":"24_CR26","unstructured":"E.W. Stark and S.A. Smolka. A complete axiom system for finite-state probabilistic processes, 1996."},{"key":"24_CR27","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1007\/BF01211867","volume":"6","author":"C. Tofts","year":"1994","unstructured":"C. Tofts. Processes with probabilities, priority and time. Formal Aspects of Computing, 6:536\u2013564, 1994.","journal-title":"Formal Aspects of Computing"},{"issue":"1","key":"24_CR28","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1006\/inco.1995.1123","volume":"121","author":"R. Glabbeek van","year":"1995","unstructured":"R. van Glabbeek, S.A. Smolka, and B. Steffen. Reactive, generative and stratified models of probabilistic processes. Information and Computation, 121(1):59\u201380, 1995.","journal-title":"Information and Computation"},{"key":"24_CR29","first-page":"497","volume":"836","author":"S. Yuen","year":"1994","unstructured":"S. Yuen, R. Cleaveland, Z. Dayar, and S.A. Smolka. Fully abstract characterizations of testing preorders for probabilistic processes. In CONCUR'94, LNCS 836, pages 497\u2013512, 1994.","journal-title":"LNCS"},{"key":"24_CR30","first-page":"217","volume":"510","author":"W. Yi","year":"1991","unstructured":"W. Yi. CCS+Time = an interleaving model for real time systems. In 18th ICALP, LNCS 510, pages 217\u2013228, 1991.","journal-title":"LNCS"},{"key":"24_CR31","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/B978-0-444-89874-6.50010-6","volume":"XII","author":"W. Yi","year":"1992","unstructured":"W. Yi and K.G. Larsen. Testing probabilistic and nondeterministic processes. In Protocol Specification, Testing and Verification XII, pages 47\u201361, 1992.","journal-title":"Protocol Specification, Testing and Verification"}],"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_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T07:05:29Z","timestamp":1549004729000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63010-4_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630104","9783540690580"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-63010-4_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}