{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:26:27Z","timestamp":1725564387634},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540230687"},{"type":"electronic","value":"9783540300809"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30080-9_5","type":"book-chapter","created":{"date-parts":[[2010,9,7]],"date-time":"2010-09-07T03:26:49Z","timestamp":1283830009000},"page":"132-180","source":"Crossref","is-referenced-by-count":1,"title":["Real Time and Stochastic Time"],"prefix":"10.1007","author":[{"given":"Mario","family":"Bravetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"5_CR1","doi-asserted-by":"publisher","first-page":"852","DOI":"10.1137\/S0097539793243600","volume":"23","author":"L. Aceto","year":"1994","unstructured":"Aceto, L.: On \u201cAxiomatising Finite Concurrent Processes\u201d. SIAM Journal on Computing\u00a023(4), 852\u2013863 (1994)","journal-title":"SIAM Journal on Computing"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1109\/90.298433","volume":"2","author":"M. Ajmone Marsan","year":"1994","unstructured":"Ajmone Marsan, M., Bianco, A., Ciminiera, L., Sisto, R., Valenzano, A.: A LOTOS Extension for the Performance Analysis of Distributed Systems. IEEE\/ACM Trans. on Networking\u00a02, 151\u2013164 (1994)","journal-title":"IEEE\/ACM Trans. on Networking"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model-Checking in Dense Real-Time. Information and Computation\u00a0104, 2\u201334 (1993)","journal-title":"Information and Computation"},{"key":"5_CR4","unstructured":"Bernardo, M.: Theory and Application of Extended Markovian Process Algebra. Ph.D. Thesis, University of Bologna, Italy (1999)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Bravetti, M.: Specification and Analysis of Stochastic Real-Time Systems. Ph.D. Thesis, University of Bologna (Italy) (2002), Available at http:\/\/www.cs.unibo.it\/~bravetti","DOI":"10.1007\/3-540-45605-8_14"},{"key":"5_CR6","unstructured":"Bravetti, M.: Towards the Integration of Real-Time and Probabilistic-Time Process Algebras. In: Proc. of the 3rd European Research Seminar on Advances in Distributed Systems (ERSADS 1999), Madeira Island (Portugal) (April 1999)"},{"key":"5_CR7","unstructured":"Bravetti, M.: Revisiting Interactive Markov Chains. In: Proc. of the 3rd Int. Workshop on Models for Time-Critical Systems (MTCS 2002), Brno (Czech Republic), August 2002. ENTCS, vol.\u00a068(5) (2002)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Bravetti, M.: An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems. In: Proc. of the 3rd Int. Workshop on Models for Time-Critical Systems (MTCS 2002), Brno (Czech Republic), August 2002. ENTCS, vol.\u00a068(5) (2002)","DOI":"10.1007\/3-540-45605-8_14"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Bravetti, M., Aldini, A.: Non-Determinism in Probabilistic Timed Systems with General Distributions. In: Proc. of the 2nd Int. Workshop on Models for Time-Critical Systems (MTCS 2001), Aalborg (Denmark), August 2001. ENTCS, vol.\u00a052(3) (2001)","DOI":"10.1016\/S1571-0661(04)00227-0"},{"key":"5_CR10","doi-asserted-by":"crossref","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). ENTCS, vol.\u00a039(3) (2000)","DOI":"10.1016\/S1571-0661(05)80749-2"},{"key":"5_CR11","unstructured":"Bravetti, M., Bernardo, M., Gorrieri, R.: From EMPA to GSMPA: Allowing for General Distributions. In: Brinksma, E., Nymeyer, A. (eds.) Proc. of the 5th Int. Workshop on Process Algebras and Performance Modeling (PAPM 1997), Enschede (The Netherlands), June 1997, pp. 17\u201333 (1997)"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/BFb0055638","volume-title":"CONCUR \u201998 Concurrency Theory","author":"M. Bravetti","year":"1998","unstructured":"Bravetti, M., Bernardo, M., Gorrieri, R.: Towards Performance Evaluation with General Distributions in Process Algebras. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol.\u00a01466, pp. 405\u2013422. Springer, Heidelberg (1998)"},{"issue":"4","key":"5_CR13","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"},{"issue":"1","key":"5_CR14","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(1), 5\u201332 (2002)","journal-title":"Theoretical Computer Science"},{"key":"5_CR15","unstructured":"Busi, N., van Glabbeek, R.J., Gorrieri, R.: Axiomatising ST-Bisimulation Equivalence. In: Proc. of the IFIP Working Conf. on Programming Concepts, Methods and Calculi (PROCOMET 1994), S. Miniato (Italy), pp. 169\u2013188 (1994)"},{"key":"5_CR16","volume-title":"Discrete Event Systems. Modeling and Performance Analysis","author":"C.G. Cassandras","year":"1993","unstructured":"Cassandras, C.G.: Discrete Event Systems. Modeling and Performance Analysis. Aksen Associates, Irwin (1993)"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1017\/S0305004100030437","volume":"51","author":"D.R. Cox","year":"1955","unstructured":"Cox, D.R.: The Analysis of non-Markovian Stochastic Processes by the Inclusion of Supplementary Variables. Proc. of the Cambridge Philosophical Society\u00a051, 433\u2013440 (1955)","journal-title":"Proc. of the Cambridge Philosophical Society"},{"key":"5_CR18","unstructured":"D\u2019Argenio, P.R.: Algebras and Automata for Timed and Stochastic Systems. Ph.D. Thesis, Univ. Twente (1997)"},{"key":"5_CR19","unstructured":"D\u2019Argenio, P.R., Katoen, J.-P., Brinksma, E.: A Stochastic Automata Model and its Algebraic Approach. In: Proc. of the 5th Workshop on Process Algebras and Performance Modelling (PAPM 1997), Enschede (The Netherlands), pp. 1\u201316 (1997)"},{"key":"5_CR20","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)"},{"key":"5_CR21","unstructured":"G\u00f6tz, N., Herzog, U., Rettelbach, M.: TIPP - A Stochastic Process Algebra. In: Proc. of the 1st Workshop on Process Algebras and Performance Modelling (PAPM 1993), Edinburgh (UK), pp. 31\u201336 (1993)"},{"key":"5_CR22","unstructured":"Hermanns, H.: Interactive Markov Chains. Ph.D. Thesis, Universit\u00e4t Erlangen-N\u00fcrnberg, Germany (1998)"},{"key":"5_CR23","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":"5_CR24","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"5_CR25","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":"5_CR26","unstructured":"Matthes, K.: Zur Theorie der Bedienungsprozesse. In: Trans. of the 3rd Prague Conf. on Information Theory, Stat. Dec. Fns. and Random Processes, pp. 513\u2013528 (1962)"},{"key":"5_CR27","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"issue":"9","key":"5_CR28","doi-asserted-by":"publisher","first-page":"794","DOI":"10.1109\/32.159837","volume":"18","author":"X. Nicollin","year":"1992","unstructured":"Nicollin, X., Sifakis, J., Yovine, S.: Compiling Real-Time Specifications into Extended Automata. IEEE Trans. on Software Engineering\u00a018(9), 794\u2013804 (1992)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"5_CR29","unstructured":"Priami, C.: Stochastic \u03c0-Calculus with General Distributions. In: Proc. of the 4th Workshop on Process Algebras and Performance Modelling (PAPM 1996), CLUT, Torino, Italy, pp. 41\u201357 (1996)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for the Design of Real-Time Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30080-9_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:39:53Z","timestamp":1605760793000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30080-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540230687","9783540300809"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30080-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}