{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:41Z","timestamp":1761597041490},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540424970"},{"type":"electronic","value":"9783540446859"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44685-0_22","type":"book-chapter","created":{"date-parts":[[2007,8,10]],"date-time":"2007-08-10T06:16:21Z","timestamp":1186726581000},"page":"321-335","source":"Crossref","is-referenced-by-count":16,"title":["A Testing Theory for Generally Distributed Stochastic Processes"],"prefix":"10.1007","author":[{"given":"Natalia","family":"L\u00f3pez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,8,22]]},"reference":[{"issue":"2","key":"22_CR1","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1109\/90.298433","volume":"2","author":"M. A. Marsan","year":"1994","unstructured":"M. Ajmone Marsan, A. Bianco, L. Ciminiera, R. Sisto, and A. Valenzano. A LOTOS extension for the performance analysis of distributed systems. IEEE\/ACM Transactions on Networking, 2(2):151\u2013165, 1994.","journal-title":"IEEE\/ACM Transactions on Networking"},{"key":"22_CR2","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":"22_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/BFb0055638","volume-title":"CONCUR\u201998","author":"M. Bravetti","year":"1998","unstructured":"M. Bravetti, M. Bernardo, and R. Gorrieri. Towards performance evaluation with general distributions in process algebras. In CONCUR\u201998, LNCS 1466, pages 405\u2013422. Springer, 1998."},{"key":"22_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/3-540-44618-4_23","volume-title":"CONCUR\u20192000","author":"M. Bernardo","year":"2000","unstructured":"M. Bernardo and W.R. Cleaveland. A theory of testing for markovian processes. In CONCUR\u20192000, LNCS 1877, pages 305\u2013319. Springer, 2000."},{"key":"22_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00127-8","volume":"202","author":"M. Bernardo","year":"1998","unstructured":"M. Bernardo and R. Gorrieri. A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theoretical Computer Science, 202:1\u201354, 1998.","journal-title":"Theoretical Computer Science"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"M. Bravetti and R. Gorrieri. The theory of interactive generalized semi-markov processes. To appear in Theoretical Computer Science, 2001.","DOI":"10.1016\/S0304-3975(01)00043-3"},{"issue":"7","key":"22_CR7","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1093\/comjnl\/38.7.552","volume":"38","author":"E. Brinksma","year":"1995","unstructured":"E. Brinksma, J.-P. Katoen, R. Langerak, and D. Latella. A stochastic causality-based process algebra. The Computer Journal, 38(7):553\u2013565, 1995.","journal-title":"The Computer Journal"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge Tracts in Computer Science 18. Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511624193"},{"issue":"2","key":"22_CR9","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1006\/inco.1999.2808","volume":"154","author":"R. Cleaveland","year":"1999","unstructured":"R. Cleaveland, Z. Dayar, S.A. Smolka, and S. Yuen. Testing preorders for probabilistic processes. Information and Computation, 154(2):93\u2013148, 1999.","journal-title":"Information and Computation"},{"key":"22_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/BFb0039056","volume-title":"CONCUR\u201990","author":"I. Christoff","year":"1990","unstructured":"I. Christoff. Testing equivalences and fully abstract models for probabilistic processes. In CONCUR\u201990, LNCS 458, pages 126\u2013140. Springer, 19"},{"key":"22_CR11","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":"22_CR12","doi-asserted-by":"crossref","unstructured":"P.R. D\u2019Argenio, J.-P. Katoen, and E. Brinksma. An algebraic approach to the specification of stochastic systems. In Programming Concepts and Methods, pages 126\u2013147. Chapman & Hall, 1998.","DOI":"10.1007\/978-0-387-35358-6_12"},{"key":"22_CR13","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":"22_CR14","unstructured":"A. El-Rayes, M. Kwiatkowska, and G. Norman. Solving infinite stochastic process algebra models through matrix-geometric methods. In 7th International Workshop on Process Algebra and Performance Modelling, pages 41\u201362, 1999."},{"key":"22_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BFb0013851","volume-title":"16th Int. Symp. on Computer Performance Modelling, Measurement and Evaluation (PERFOR-MANCE\u201993)","author":"N. G\u00f6tz","year":"1993","unstructured":"N. G\u00f6tz, U. Herzog, and M. Rettelbach. Multiprocessor and distributed system design: The integration of functional specification and performance analysis using stochastic process algebras. In 16th Int. Symp. on Computer Performance Modelling, Measurement and Evaluation (PERFOR-MANCE\u201993), LNCS 729, pages 121\u2013146. Springer, 1993."},{"key":"22_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/3-540-63010-4_24","volume-title":"4th International AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Software","author":"C. Gregorio","year":"1997","unstructured":"C. Gregorio, L. Llana, M. N\u00fa\u00f1ez, and P. Palao. Testing semantics for a probabilistic-timed process algebra. In 4th International AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Software, LNCS 1231, pages 353\u2013367. Springer, 1997."},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"C. Gregorio and M. N\u00fa\u00f1ez. Denotational semantics for probabilistic refusal testing. In PROBMIV\u201998, Electronic Notes in Theoretical Computer Science 22. Elsevier, 1999.","DOI":"10.1016\/S1571-0661(05)80599-7"},{"issue":"1","key":"22_CR18","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":"22_CR19","unstructured":"H. Hansson. Time and Probability in Formal Design of Distributed Systems. PhD thesis, Department of Computer Systems. Uppsala University, 1991."},{"key":"22_CR20","unstructured":"M. Hennessy. Algebraic Theory of Processes. MIT Press, 1988."},{"key":"22_CR21","unstructured":"H. Hermanns, U. Herzog, and J.-P. Katoen. Process algebra for performance evaluation. To appear in Theoretical Computer Science, 2001."},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511569951"},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"issue":"2","key":"22_CR24","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"},{"issue":"1","key":"22_CR25","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1093\/logcom\/10.1.3","volume":"10","author":"P.G. Harrison","year":"2000","unstructured":"P.G. Harrison and B. Strulo. SPADES-a process algebra for discrete event simulation. Journal of Logic Computation, 10(1):3\u201342, 2000.","journal-title":"Journal of Logic Computation"},{"key":"22_CR26","doi-asserted-by":"crossref","unstructured":"M. Kwiatkowska and G.J. Norman. A testing equivalence for reactive probabilistic processes. In EXPRESS\u201998, Electronic Notes in Theoretical Computer Science 16. Elsevier, 1998.","DOI":"10.1016\/S1571-0661(04)00121-5"},{"key":"22_CR27","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"368","DOI":"10.1007\/3-540-63010-4_25","volume-title":"4th AM AST Workshop on Real-Time Systems, Concurrent and Distributed Software","author":"L. Llana","year":"1997","unstructured":"L. Llana and D. de Frutos. Denotational semantics for timed testing. In 4th AM AST Workshop on Real-Time Systems, Concurrent and Distributed Software, LNCS 1231, pages 368\u2013382, 1997."},{"key":"22_CR28","doi-asserted-by":"crossref","unstructured":"N. L\u00f3pez and M. N\u00fa\u00f1ez. A testing theory for generally distributed stochastic processes. Available at: http:\/\/dalila.sip.ucm.es\/natalia\/papers\/stoctesting.ps.gz , 2001.","DOI":"10.1007\/3-540-44685-0_22"},{"key":"22_CR29","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":"22_CR30","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":"22_CR31","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/3-540-10828-9_52","volume-title":"6th CAAP","author":"R. Milner","year":"1981","unstructured":"R. Milner. A modal characterization of observable machine-behaviour. In 6th CAAP, LNCS 112, pages 25\u201334. Springer, 1981."},{"key":"22_CR32","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"22_CR33","unstructured":"M. N\u00fa\u00f1ez and D. de Frutos. Testing semantics for probabilistic LOTOS. In Formal Description Techniques VIII, pages 365\u2013380. Chapman & Hall, 1995."},{"key":"22_CR34","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/3-540-60218-6_18","volume-title":"CONCUR\u201995","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\u201995, LNCS 962, pages 249\u2013263. Springer, 1995."},{"issue":"1","key":"22_CR35","first-page":"77","volume":"9","author":"M. Neuts","year":"1992","unstructured":"M. Neuts. Two further closure properties of Ph-distributions. Asia-Pacific Journal of Operational Research, 9(1):77\u201385, 1992.","journal-title":"Asia-Pacific Journal of Operational Research"},{"key":"22_CR36","doi-asserted-by":"crossref","unstructured":"M. N\u00fa\u00f1ez and D. Rup\u00e9rez. Fair testing through probabilistic testing. In Formal Description Techniques for Distributed Systems and Communication Protocols (XII), and Protocol Specification, Testing, and Verification (XIX), pages 135\u2013150. Kluwer Academic Publishers, 1999.","DOI":"10.1007\/978-0-387-35578-8_8"},{"issue":"1","key":"22_CR37","doi-asserted-by":"publisher","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 process, ATP: Theory and application. Information and Computation, 114(1):131\u2013178, 1994.","journal-title":"Information and Computation"},{"key":"22_CR38","unstructured":"M. N\u00fa\u00f1ez. Sem\u00e1nticas de Pruebas para\u00c1lgebras de Procesos Probabil\u00edsticos. PhD thesis, Universidad Complutense de Madrid, 1996."},{"key":"22_CR39","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"},{"key":"22_CR40","doi-asserted-by":"crossref","unstructured":"W. Yi and K.G. Larsen. Testing probabilistic and nondeterministic processes. In Protocol Specification, Testing and Verification XII, pages 47\u201361. North Holland, 1992.","DOI":"10.1016\/B978-0-444-89874-6.50010-6"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2001 \u2014 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44685-0_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T15:02:37Z","timestamp":1683990157000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44685-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540424970","9783540446859"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/3-540-44685-0_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}