{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,26]],"date-time":"2025-07-26T08:42:58Z","timestamp":1753519378112},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660101"},{"type":"electronic","value":"9783540487784"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48778-6_14","type":"book-chapter","created":{"date-parts":[[2007,5,1]],"date-time":"2007-05-01T10:18:07Z","timestamp":1178014687000},"page":"228-243","source":"Crossref","is-referenced-by-count":7,"title":["Semi-numerical Solution of Stochastic Process Algebra Models"],"prefix":"10.1007","author":[{"given":"Henrik C.","family":"Bohnenkamp","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boudewijn R.","family":"Haverkort","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,4,30]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Henrik Bohnenkamp and Boudewijn Haverkort. Semi-numerical solution of stochastic process algebra models. In Priami [16], pages 71\u201384.","DOI":"10.1007\/3-540-48778-6_14"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Henrik Bohnenkamp and Boudewijn Haverkort. Stochastic event structures for the decomposition of stochastic process algebra models. Submitted for presentation at the PAPM\u2019 99 workshop, Feb 1999.","DOI":"10.1007\/3-540-48778-6_14"},{"issue":"3","key":"14_CR3","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S. D. Brookes","year":"1984","unstructured":"Stephen D. Brookes, C. A. R. Hoare, and A. W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31(3):560\u2013599, July 1984.","journal-title":"Journal of the ACM"},{"key":"14_CR4","volume-title":"Introduction to Stochastic Processes","author":"E. \u00c7inlar","year":"1975","unstructured":"Erhan \u00c7inlar. Introduction to Stochastic Processes. Prentice Hall, Inc., Englewood Cliffs, New Jersey, 1975."},{"key":"14_CR5","series-title":"Technical Report","volume-title":"Markov renewal theory applied to performability evaluation","author":"R. Fricks","year":"1996","unstructured":"Ricardo Fricks, Mikl\u00f3s Telek, Antonio Puliafito, and Kishor Trivedi. Markov renewal theory applied to performability evaluation. Technical Report TR-96\/11, The Center for Advanced Computing and Communication, North Carolina State University, Raleigh, NC, USA, 1996. http:\/\/www.ece.ncsu.edu\/cacc\/tech_reports\/abs\/abs9611.html."},{"key":"14_CR6","unstructured":"H. Hermanns and J.-P. Katoen. Automated compositional Markov chain generation for a plain-old telephone system. Science of Computer Programming, Oct 1998. accepted for publication."},{"key":"14_CR7","volume-title":"Interactive Markov chains","author":"H. Hermanns","year":"1998","unstructured":"Holger Hermanns. Interactive Markov chains. PhD thesis, Universit\u00e4t Erlangen-N\u00fcrnberg, Germany, 1998."},{"key":"14_CR8","unstructured":"Holger Hermanns and Michael Rettelbach. Syntax, Semantics, Equivalences, and Axioms for MTIPP. In Michael Rettelbach, editors. Proceedings of the 2nd workshop on process algebras and performance modelling. FAU Erlangen-N\u00fcrnberg, 1994 Herzog and Rettelbach [9]."},{"key":"14_CR9","unstructured":"Ulrich Herzog and Michael Rettelbach, editors. Proceedings of the 2nd workshop on process algebras and performance modelling. FAU Erlangen-N\u00fcrnberg, 1994."},{"key":"14_CR10","unstructured":"Jane Hillston. A Compositional Approach to Performance Modelling. PhD thesis, University of Edinburgh, 1994."},{"key":"14_CR11","unstructured":"Jane Hillston. The nature of synchronization. In Michael Rettelbach, editors. Proceedings of the 2nd workshop on process algebras and performance modelling. FAU Erlangen-N\u00fcrnberg, 1994 Herzog and Rettelbach [9], pages 51\u201370."},{"key":"14_CR12","unstructured":"Jane Hillston. Exploiting structure in solution: Decomposing composed models. In Priami [16], pages 1\u201315."},{"key":"14_CR13","series-title":"Semimarkov and Decision Processes","volume-title":"Dynamic Probabilistic Systems","author":"R. A. Howard","year":"1971","unstructured":"Ronald A. Howard. Dynamic Probabilistic Systems., volume 2: Semimarkov and Decision Processes. John Wiley & Sons, Inc., New York, London, Syndney, Toronto, 1971."},{"key":"14_CR14","volume-title":"Modeling and Analysis of Stochastic Systems","author":"V. G. Kulkarni","year":"1995","unstructured":"Vidyadhar G. Kulkarni. Modeling and Analysis of Stochastic Systems. Chapman & Hall, London, Glasgow, Weinheim, 1995."},{"key":"14_CR15","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/0166-5316(87)90039-3","volume":"7","author":"R. Marie","year":"1987","unstructured":"Raymond Marie, Andrew L. Reibman, and Kishor S. Trivedi. Transient analysis of acyclic Markov chains. Performance Evaluation, 7:175\u2013194, 1987.","journal-title":"Performance Evaluation"},{"key":"14_CR16","unstructured":"Corrado Priami, editor. Proceedings of the sixth workshop on process algebras and performance modelling. Universita Degli Studi di Verona, 1998."},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"A. V. Ramesh and K. Trivedi. Semi-numerical transient analysis of Markov models. In Proceedings of the 33rd ACM Southeast Conference, pages 13\u201323, 1995.","DOI":"10.1145\/1122018.1122021"},{"key":"14_CR18","unstructured":"Michael Rettelbach. Stochastische Prozessalgebren mit zeitlosen Aktivit\u00e4ten und probabilistischen Verzweigungen. PhD thesis, Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, April 1996."},{"key":"14_CR19","volume-title":"Performance and Reliability Analysis of Computer Systems. An Example-Based Approach Using the SHARPE Software Package","author":"R. A. Sahner","year":"1996","unstructured":"Robin A. Sahner, Kishor S. Trivedi, and Antonio Puliafito. Performance and Reliability Analysis of Computer Systems. An Example-Based Approach Using the SHARPE Software Package. Kluwer Academic Publishers, Boston, London, Dordrecht, 1996."}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Real-Time and Probabilistic Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48778-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T16:34:51Z","timestamp":1556382891000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48778-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660101","9783540487784"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-48778-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}