{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,26]],"date-time":"2025-07-26T09:23:08Z","timestamp":1753521788687},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222651"},{"type":"electronic","value":"9783540246114"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24611-4_2","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T14:01:10Z","timestamp":1267106470000},"page":"44-88","source":"Crossref","is-referenced-by-count":23,"title":["Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions"],"prefix":"10.1007","author":[{"given":"Mario","family":"Bravetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pedro R.","family":"D\u2019Argenio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","first-page":"113","volume-title":"Automata, Languages and Programming","author":"R. Alur","year":"1991","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model-checking for probabilistic real-time systems. In: Leach Albert, J., Monien, B., Rodr\u00edguez, M. (eds.) ICALP 1991. LNCS, vol.\u00a0510, pp. 113\u2013126. Springer, Heidelberg (1991)"},{"key":"2_CR2","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511608841","volume-title":"Process Algebra","author":"J.C.M. Baeten","year":"1990","unstructured":"Baeten, J.C.M., Weijland, W.P.: Process Algebra. Cambridge Tracts in Theoretical Computer Science, vol.\u00a018. Cambridge University Press, Cambridge (1990)"},{"key":"2_CR3","unstructured":"Bernardo, M.: Theory and Application of Extended Markovian Process Algebras. PhD thesis, Dottorato di Ricerca in Informatica. Universit\u00e0 di Bologna, Padova, Venezia (February 1999)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Bravetti, M.: Specification and Analysis of Stochastic Real-Time Systems. PhD thesis, Dottorato di Ricerca in Informatica. Universit\u00e0 di Bologna, Padova, Venezia (February 2002), Available at http:\/\/www.cs.unibo.it\/~bravetti\/","DOI":"10.1007\/3-540-45605-8_14"},{"key":"2_CR5","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proc. of the 1st Int. Workshop on Models for Time-Critical Systems, MTCS 2000, State College, PA","author":"M. Bravetti","year":"2000","unstructured":"Bravetti, M., Bernardo, M.: Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time. In: Proc. of the 1st Int. Workshop on Models for Time-Critical Systems, MTCS 2000, State College, PA. Electronic Notes in Theoretical Computer Science, vol.\u00a039(3). Elsevier, Amsterdam (2000)"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/BFb0055638","volume-title":"CONCUR 1998 Concurrency Theory","author":"M. Bravetti","year":"1998","unstructured":"Bravetti, M., Bernardo, M., Gorrieri, R.: Towards performance evaluation with general distributions in process algebra. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol.\u00a01466, pp. 405\u2013422. Springer, Heidelberg (1998)"},{"issue":"4","key":"2_CR7","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1145\/566385.566386","volume":"3","author":"M. Bravetti","year":"2002","unstructured":"Bravetti, M., Gorrieri, R.: Deciding and axiomatizing weak st bisimulation for a process algebra with recursion and action refinement. ACM Transactions on Computational Logic\u00a03(4), 465\u2013520 (2002)","journal-title":"ACM Transactions on Computational Logic"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0304-3975(01)00043-3","volume":"282","author":"M. Bravetti","year":"2002","unstructured":"Bravetti, M., Gorrieri, R.: The theory of interactive generalized semi-Markov processes. Theoretical Computer Science\u00a0282, 5\u201332 (2002)","journal-title":"Theoretical Computer Science"},{"issue":"6","key":"2_CR9","doi-asserted-by":"publisher","first-page":"552","DOI":"10.1093\/comjnl\/38.7.552","volume":"38","author":"E. Brinksma","year":"1995","unstructured":"Brinksma, E., Katoen, J.-P., Langerak, R., Latella, D.: A stochastic causalitybased process algebra. The Computer Journal\u00a038(6), 552\u2013565 (1995)","journal-title":"The Computer Journal"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Cox, D.R.: The analysis of non-markovian stochastic processes by the inclusion of supplementary variables. In: Proc. of the Cambridge Philosophical Society, vol.\u00a051, pp. 433\u2013440 (1955)","DOI":"10.1017\/S0305004100030437"},{"key":"2_CR11","unstructured":"D\u2019Argenio, P.R.: Algebras and Automata for Timed and Stochastic Systems. PhD thesis, Department of Computer Science, University of Twente (1999)"},{"key":"2_CR12","unstructured":"D\u2019Argenio, P.R.: A compositional translation of stochastic automata into timed automata. Technical Report CTIT 00-08, Department of Computer Science, University of Twente (2000)"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/3-540-44804-7_6","volume-title":"Process Algebra and Probabilistic Methods. Performance Modelling and Verification","author":"P.R. D\u2019Argenio","year":"2001","unstructured":"D\u2019Argenio, P.R., Hermanns, H., Katoen, J.-P., Klaren, R.: MoDeST - A modelling and description language for stochastic timed systems. In: de Luca, L., Gilmore, S. (eds.) PROBMIV 2001, PAPM-PROBMIV 2001, and PAPM 2001. LNCS, vol.\u00a02165, pp. 87\u2013104. Springer, Heidelberg (2001)"},{"key":"2_CR14","series-title":"IFIP","first-page":"126","volume-title":"Proceedings of the IFIP Working Conference on Programming Concepts and Methods, PROCOMET 1998","author":"P.R. D\u2019Argenio","year":"1998","unstructured":"D\u2019Argenio, P.R., Katoen, J.-P., Brinksma, E.: An algebraic approach to the specification of stochastic systems (extended abstract). In: Gries, D., de Roever, W.-P. (eds.) Proceedings of the IFIP Working Conference on Programming Concepts and Methods, PROCOMET 1998, Shelter Island, New York, USA. IFIP, pp. 126\u2013147. Chapman & Hall, Boca Raton (1998)"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/3-540-17945-3_13","volume-title":"PARLE Parallel Architectures and Languages Europe","author":"R.J. Glabbeek van","year":"1987","unstructured":"van Glabbeek, R.J., Vaandrager, F.W.: Petri net models for algebraic theories of concurrency. In: de Bakker, J.W., Nijman, A.J., Treleaven, P.C. (eds.) PARLE 1987. LNCS, vol.\u00a0259, pp. 224\u2013242. Springer, Heidelberg (1987)"},{"issue":"1","key":"2_CR16","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/5.21067","volume":"77","author":"P.W. Glynn","year":"1989","unstructured":"Glynn, P.W.: A GSMP formalism for discrete event simulation. Proceedings of the IEEE\u00a077(1), 14\u201323 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"2_CR17","unstructured":"G\u00f6tz, N., Herzog, U., Rettelbach, M.: TIPP - Introduction and application to protocol performance analysis. In: K\u00f6nig, H. (ed.) Formale Beschreibungstechniken f\u00fcr verteilte Systeme. FOKUS. Saur Publishers (1993)"},{"issue":"1","key":"2_CR18","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1093\/logcom\/10.1.3","volume":"10","author":"P.G. Harrison","year":"2000","unstructured":"Harrison, P.G., Strulo, B.: Spades: Stochastic process algebra for discrete event simulation. Journal of Logic and Computation\u00a010(1), 3\u201342 (2000)","journal-title":"Journal of Logic and Computation"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45804-2","volume-title":"Interactive Markov Chains","author":"H. Hermanns","year":"2002","unstructured":"Hermanns, H.: Interactive Markov Chains. LNCS, vol.\u00a02428. Springer, Heidelberg (2002)"},{"key":"2_CR20","volume-title":"Distinguished Dissertation in Computer Science","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. In: Distinguished Dissertation in Computer Science, Cambridge University Press, Cambridge (1996)"},{"key":"2_CR21","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs (1985)"},{"key":"2_CR22","unstructured":"Kanani, K.: A Unified Framework for Systematic Quantitative and Qualitative Analysis of Communicating Systems. PhD thesis, Imperial College, UK (1998)"},{"key":"2_CR23","unstructured":"Katoen, J.-P.: Quantitative and Qualitative Extensions of Event Structures. PhD thesis, Department of Computer Science, University of Twente (April 1996)"},{"key":"2_CR24","unstructured":"Katoen, J.-P., Brinksma, E., Latella, D., Langerak, R.: Stochastic simulation of event structures. In: Ribaudo [33], pp. 21\u201340"},{"key":"2_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/3-540-44618-4_11","volume-title":"CONCUR 2000 - Concurrency Theory","author":"M. Kwiatkowska","year":"2000","unstructured":"Kwiatkowska, M., Norman, G., Segala, R., Sproston, J.: Verifying quantitative properties of continuous probabilistic timed automata. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 123\u2013137. Springer, Heidelberg (2000)"},{"key":"2_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"K.G. Larsen","year":"1991","unstructured":"Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. Information and Computation\u00a094, 1\u201328 (1991)","journal-title":"Information and Computation"},{"key":"2_CR27","volume-title":"Simulation Modelling and Analysis","author":"A.M. Law","year":"1991","unstructured":"Law, A.M., Kelton, W.D.: Simulation Modelling and Analysis, 2nd edn. McGraw-Hill Inc., New York (1991)","edition":"2"},{"key":"2_CR28","unstructured":"L\u00f3pez, N., N\u00fa\u00f1ez, M.: NMSPA: A non-Markovian model for stochastic processes. In: Proceedings of the International Workshop on Distributed System Validation and Verification (DSVV 2000), Taipei, Taiwan, ROC (2000), http:\/\/www.math.ntu.edu.tw\/~eric\/dsvvproc\/"},{"key":"2_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/3-540-44685-0_22","volume-title":"CONCUR 2001 - Concurrency Theory","author":"N. L\u00f3pez","year":"2001","unstructured":"L\u00f3pez, N., N\u00fa\u00f1ez, M.: A testing theory for generally distributed stochastic processes. In: Larsen, K., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 321\u2013335. Springer, Heidelberg (2001)"},{"key":"2_CR30","unstructured":"L\u00f3pez, N., N\u00fa\u00f1ez, M.: Weak stochastic bisimulation for non-markovian processes (2003) (Submitted for publication)"},{"key":"2_CR31","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall International, Englewood Cliffs (1989)"},{"key":"2_CR32","unstructured":"Priami, C.: Stochastic \u03c0-calculus with general distributions. In: Ribaudo [33], pp.41\u201357"},{"volume-title":"Proc. of the 4th Workshop on Process Algebras and Performance Modelling, PAPM 1996","year":"1996","key":"2_CR33","unstructured":"Ribaudo, M. (ed.): Proc. of the 4th Workshop on Process Algebras and Performance Modelling, PAPM 1996. Universit\u00e0 di Torino, Torino, Italy (1996)"},{"key":"2_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/3-540-45319-9_16","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T.C. Ruys","year":"2001","unstructured":"Ruys, T.C., Langerak, R., Katoen, J.-P., Latella, D., Massink, M.: First passage time analysis of stochastic process algebra using partial orders. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, pp. 220\u2013235. Springer, Heidelberg (2001)"},{"key":"2_CR35","unstructured":"Segala, R.: Modeling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology (1995)"},{"key":"2_CR36","unstructured":"Strulo, B.: Process Algebra for Discrete Event Simulation. PhD thesis, Department of Computing, Imperial College, University of London (1993)"},{"key":"2_CR37","unstructured":"Winskel, G.: Events in Computation. PhD thesis, Department of Computer Science, University of Edinburgh (1980)"}],"container-title":["Lecture Notes in Computer Science","Validation of Stochastic Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24611-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T07:46:28Z","timestamp":1558856788000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24611-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222651","9783540246114"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24611-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}