{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:14:01Z","timestamp":1725491641800},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540353621"},{"type":"electronic","value":"9783540353652"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11777830_4","type":"book-chapter","created":{"date-parts":[[2006,6,19]],"date-time":"2006-06-19T11:21:04Z","timestamp":1150716064000},"page":"47-62","source":"Crossref","is-referenced-by-count":4,"title":["Embedding Real Time in Stochastic Process Algebras"],"prefix":"10.1007","author":[{"given":"Jasen","family":"Markovski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erik P.","family":"de Vink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Monographs in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04995-2","volume-title":"Process Algebra with Timing","author":"J. Baeten","year":"2002","unstructured":"Baeten, J., Middelburg, C.: Process Algebra with Timing. Monographs in Theoretical Computer Science. Springer, Heidelberg (2002)"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1007\/BFb0032006","volume-title":"Real-Time: Theory in Practice","author":"X. Nicollin","year":"1992","unstructured":"Nicollin, X., Sifakis, J.: An overview and synthesis of timed process algebras. In: de Bakker, J.W., et al. (eds.) REX 1991. LNCS, vol.\u00a0600, pp. 526\u2013548. Springer, Heidelberg (1992)"},{"key":"4_CR3","volume-title":"Handbook of Process Algebras","author":"B. Jonsson","year":"2001","unstructured":"Jonsson, B., Larsen, K.G.: Probabilistic extensions of process algebras. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebras. Elsevier, Amsterdam (2001)"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/3-540-45499-3_24","volume-title":"Algebraic Methodology and Software Technology","author":"S. Andova","year":"2000","unstructured":"Andova, S.: Time and probability in process algebra. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, pp. 323\u2013338. Springer, Heidelberg (2000)"},{"issue":"1\u20132","key":"4_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00127-8","volume":"202","author":"M. Bernardo","year":"1998","unstructured":"Bernardo, M., Gorrieri, R.: A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theoretical Computer Science\u00a0202(1\u20132), 1\u201354 (1998)","journal-title":"Theoretical Computer Science"},{"key":"4_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A compositional approach to performance modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A compositional approach to performance modelling. Cambridge University Press, Cambridge (1996)"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Interactive Markov Chains","year":"2002","unstructured":"Hermanns, H. (ed.): Interactive Markov Chains. LNCS, vol.\u00a02428. Springer, Heidelberg (2002)"},{"issue":"1","key":"4_CR8","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.ic.2005.07.002","volume":"203","author":"P. D\u2019Argenio","year":"2005","unstructured":"D\u2019Argenio, P., Katoen, J.P.: A theory of stochastic systems, part II: Process algebra. Information and Computation\u00a0203(1), 39\u201374 (2005)","journal-title":"Information and Computation"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Bravetti, M.: Specification and Analysis of Stochastic Real-time Systems. PhD. thesis, Universita di Bologna (2002)","DOI":"10.1007\/3-540-45605-8_14"},{"key":"4_CR10","volume-title":"DSVV 2000","author":"N. Lopez","year":"2000","unstructured":"Lopez, N., Nunez, M.: NMSPA: A non-markovian model for stochastic processes. In: DSVV 2000. IEEE Computer Society Press, Los Alamitos (2000)"},{"issue":"1","key":"4_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ic.2005.07.001","volume":"203","author":"P. D\u2019Argenio","year":"2005","unstructured":"D\u2019Argenio, P., Katoen, J.P.: A theory of stochastic systems, part I: Stochastic automata. Information and Computation\u00a0203(1), 1\u201338 (2005)","journal-title":"Information and Computation"},{"issue":"2","key":"4_CR12","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1109\/90.298433","volume":"2","author":"M.A. Marsan","year":"1994","unstructured":"Marsan, M.A., Bianco, A., Ciminiera, L., Sisto, R., Valenzano, A.: A LOTOS extension for the performance analysis of distributed systems. IEEE\/ACM Trans. Netw.\u00a02(2), 151\u2013165 (1994)","journal-title":"IEEE\/ACM Trans. Netw."},{"key":"4_CR13","unstructured":"Priami, C.: Stochastic \u03c0-calculus with general distributions. In: Ribaudo, M. (ed.) 4th Workshop on PAPM, Torino, Italy, pp. 41\u201357 (1996)"},{"key":"4_CR14","unstructured":"Hermanns, H., Mertsiotakis, V., Rettelbach, M.: Performance analysis of distributed systems using TIPP. In: Pooley, Hillston, King (eds.) UKPEW 1994, University of Edinburgh, pp. 131\u2013144 (1994)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/3-540-44667-2_11","volume-title":"Lectures on Formal Methods and Performance Analysis","author":"J.P. Katoen","year":"2001","unstructured":"Katoen, J.P., D\u2019Argenio, P.R.: General distributions in process algebra. In: Brinksma, E., Hermanns, H., Katoen, J.-P., et al. (eds.) EEF School 2000 and FMPA 2000. LNCS, vol.\u00a02090, pp. 375\u2013429. Springer, Heidelberg (2001)"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-24611-4_2","volume-title":"Validation of Stochastic Systems","author":"M. Bravetti","year":"2004","unstructured":"Bravetti, M., D\u2019Argenio, P.: Tutte le algebre insieme. In: Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P., Siegle, M. (eds.) Validation of Stochastic Systems. LNCS, vol.\u00a02925, pp. 44\u201388. Springer, Heidelberg (2004)"},{"key":"4_CR17","unstructured":"D\u2019Argenio, P.: From stochastic automata to timed automata: Abstracting probability in a compositional manner. In: Fiore, M., Fridlender, D. (eds.) Proceedings of WAIT 2003. Associated to the 32 JAIIO, Buenos Aires, Argentina (2003)"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-540-30080-9_3","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"J.C.M. Baeten","year":"2004","unstructured":"Baeten, J.C.M., Reniers, M.A.: Timed process algebra (with a focus on explicit termination and relative-timing). In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 59\u201397. Springer, Heidelberg (2004)"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Markovski, J., de Vink, E.P.: Embedding real time in stochastic time process algebras. Technical Report CS 06\/15, Technische Universiteit Eindhoven (2006)","DOI":"10.1007\/11777830_4"},{"issue":"1","key":"4_CR20","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), 1\u201328 (1991)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Stochastic Models for Performance Evaluation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11777830_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T08:23:46Z","timestamp":1555662226000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11777830_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540353621","9783540353652"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11777830_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}