{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:04:48Z","timestamp":1725573888017},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540204619"},{"type":"electronic","value":"9783540398936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39893-6_14","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T15:35:57Z","timestamp":1294414557000},"page":"226-245","source":"Crossref","is-referenced-by-count":8,"title":["Adding Action Refinement to Stochastic True Concurrency Models"],"prefix":"10.1007","author":[{"given":"Mila","family":"Majster-Cederbaum","sequence":"first","affiliation":[]},{"given":"Jinzhao","family":"Wu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"Action Refinement in Process Algebra","author":"L. Aceto","year":"1992","unstructured":"Aceto, L.: Action Refinement in Process Algebra. Cambridge Univ. Press, Cambridge (1992)"},{"key":"14_CR2","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. Th. Comp. Sci.\u00a0202, 1\u201354 (1998)","journal-title":"Th. Comp. Sci."},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44667-2","volume-title":"Lectures on Formal Methods and Performance Analysis","author":"E. Brinksma","year":"2001","unstructured":"Brinksma, E., Hermanns, H., Katoen, J.-P.: EEF School 2000 and FMPA 2000. LNCS, vol.\u00a02090. Springer, Heidelberg (2001)"},{"issue":"7","key":"14_CR4","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 Causality- Based Process Algebra. The Computer Journal\u00a038(7), 552\u2013565 (1995)","journal-title":"The Computer Journal"},{"issue":"9\/10","key":"14_CR5","doi-asserted-by":"publisher","first-page":"925","DOI":"10.1016\/S0169-7552(97)00134-7","volume":"30","author":"E. Brinksma","year":"1998","unstructured":"Brinksma, E., Katoen, J.-P., Langerak, R., Latella, D.: Partial-Order Models for Quantitative Extensions of LOTOS. Computer Networks & ISDN Systems\u00a030(9\/10), 925\u2013950 (1998)","journal-title":"Computer Networks & ISDN Systems"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0020-0190(01)00310-6","volume":"83","author":"H. Fecher","year":"2002","unstructured":"Fecher, H., Majster-Cederbaum, M., Wu, J.: Bundle Event Structures: A Revised Cpo Approach. Information Processing Letters\u00a083, 7\u201312 (2002)","journal-title":"Information Processing Letters"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/3-540-45605-8_6","volume-title":"Process Algebra and Probabilistic Methods. Performance Modeling and Verification","author":"H. Fecher","year":"2002","unstructured":"Fecher, H., Majster-Cederbaum, M., Wu, J.: Action Refinement for Probabilistic Processes with True Concurrency Models. In: Hermanns, H., Segala, R. (eds.) PROBMIV 2002, PAPM-PROBMIV 2002, and PAPM 2002. LNCS, vol.\u00a02399, pp. 77\u201394. Springer, Heidelberg (2002)"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/BFb0039066","volume-title":"CONCUR \u201990","author":"R. Glabbeek van","year":"1990","unstructured":"van Glabbeek, R.: The Linear Time - Branching Time Spectrum. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol.\u00a0458, pp. 278\u2013297. Springer, Heidelberg (1990)"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s002360000041","volume":"37","author":"R. Glabbeek van","year":"2001","unstructured":"van Glabbeek, R., Goltz, U.: Refinement of Actions and Equivalence Notions for Concurrent Systems. Acta Informatica\u00a037, 229\u2013327 (2001)","journal-title":"Acta Informatica"},{"key":"14_CR10","series-title":"Handbook of Process Algebra","first-page":"1047","volume-title":"Action Refinement","author":"R. Gorrieri","year":"2001","unstructured":"Gorrieri, R., Rensink, A.: Action Refinement. Handbook of Process Algebra, pp. 1047\u20131147. Elsevier Science, Amsterdam (2001)"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BFb0013851","volume-title":"Performance Evaluation of Computer and Communication Systems","author":"N. G\u00f6tz","year":"1993","unstructured":"G\u00f6tz, N., Herzog, U., Rettelbach, M.: Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebra. In: Donatiello, L., Nelson, R. (eds.) SIGMETRICS 1993 and Performance 1993. LNCS, vol.\u00a0729, pp. 121\u2013146. Springer, Heidelberg (1993)"},{"issue":"3","key":"14_CR12","first-page":"142","volume":"4","author":"C. Harvey","year":"1986","unstructured":"Harvey, C.: Performance Engineering as an Integral Part of System Design. Br. Telecom Technol. J.\u00a04(3), 142\u2013147 (1986)","journal-title":"Telecom Technol. J."},{"key":"14_CR13","unstructured":"Henrik, B.: Compositional Solution of Stochastic Process Algebra Models. PhD Thesis, RWTH Aachen (2002)"},{"key":"14_CR14","unstructured":"Hermanns, H.: Interactive Markov Chains. PhD Thesis, Universit\u00e4t Erlangen- N\u00fcrnberg (1998)"},{"key":"14_CR15","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0167-6423(99)00019-2","volume":"36","author":"H. Hermanns","year":"2000","unstructured":"Hermanns, H., Katoen, J.-P.: Automated Compositional Markov Chain Generation for a Plain-Old Telephone System. Science of Computer Programming\u00a036, 97\u2013127 (2000)","journal-title":"Science of Computer Programming"},{"key":"14_CR16","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":"14_CR17","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":"14_CR18","unstructured":"Katoen, J.-P.: Quantitative and Qualitative Extensions of Event Structures. PhD Thesis, University of Twente (1996)"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Katoen, J.-P., D\u2019Argenio, P.R.: General Distribution in Process Algebra. In: E. Brinksma et al [3], 375 \u2013 429","DOI":"10.1007\/3-540-44667-2_11"},{"key":"14_CR20","unstructured":"Langerak, R.: Transformations and Semantics for LOTOS. PhD Thesis, University of Twente (1992)"},{"key":"14_CR21","first-page":"331","volume-title":"Formal Description Techniques","author":"R. Langerak","year":"1993","unstructured":"Langerak, R.: Bundle Event Structures: A Non-Interleaving Semantics for LOTOS. In: Diaz, M., Groz, R. (eds.) Formal Description Techniques, pp. 331\u2013346. Elsevier Science Publishers, Amsterdam (1993)"},{"key":"14_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/10722468_10","volume-title":"SPIN Model Checking and Software Verification","author":"M. Majster-Cederbaum","year":"2000","unstructured":"Majster-Cederbaum, M., Salger, F.: Correctness by Construction: Towards Verification in Hierarchical System Development. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol.\u00a01885, pp. 163\u2013180. Springer, Heidelberg (2000)"},{"key":"14_CR23","first-page":"58","volume-title":"Proc. ICECCS 2001","author":"M. Majster-Cederbaum","year":"2001","unstructured":"Majster-Cederbaum, M., Wu, J.: Action Refinement for True Concurrent Real Time. In: Proc. ICECCS 2001, pp. 58\u201368. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"Majster-Cederbaum, M., Wu, J.: Towards Action Refinement for True Concurrent Real-Time. Acta Informatica 39 (2003) (to appear)","DOI":"10.1007\/s00236-003-0117-8"},{"key":"14_CR25","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"14_CR26","unstructured":"Neuts, M.F.: Matrix-Geometric Solutions in Stochastic Models - An Algorithmic Approach. The Johns Hopkins University Press (1981)"},{"key":"14_CR27","doi-asserted-by":"crossref","unstructured":"Nicollin, X., Sifakis, J.: An Overview and Synthesis on Timed Process Algebra. In: Real-Time: Theory in Practice. LNCS, vol.\u00a0660, pp. 526\u2013548 (1992)","DOI":"10.1007\/BFb0032006"},{"key":"14_CR28","volume-title":"Probability, Random Variables, and Stochastic Processes","author":"A. Papoulis","year":"1991","unstructured":"Papoulis, A.: Probability, Random Variables, and Stochastic Processes. McGraw-Hill, New York (1991)"},{"key":"14_CR29","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1998)"},{"issue":"10","key":"14_CR30","doi-asserted-by":"publisher","first-page":"1105","DOI":"10.1109\/TSE.1987.232852","volume":"13","author":"R.A. Sahner","year":"1987","unstructured":"Sahner, R.A., Trividi, K.S.: Performance and Reliability Analysis Using Direct Acyclic Graphs. IEEE Tran. on Softw. Eng.\u00a013(10), 1105\u20131114 (1987)","journal-title":"IEEE Tran. on Softw. Eng."},{"key":"14_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/BFb0013026","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"G. Winskel","year":"1989","unstructured":"Winskel, G.: An Introduction to Event Structures. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. LNCS, vol.\u00a0354, pp. 364\u2013397. Springer, Heidelberg (1989)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39893-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T17:43:23Z","timestamp":1559929403000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39893-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204619","9783540398936"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39893-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}