{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T16:07:56Z","timestamp":1732032476594},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540418658"},{"type":"electronic","value":"9783540453192"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45319-9_16","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T15:50:47Z","timestamp":1184601047000},"page":"220-235","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders"],"prefix":"10.1007","author":[{"given":"Theo C.","family":"Ruys","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rom","family":"Langerak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joost-Pieter","family":"Katoen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego","family":"Latella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mieke","family":"Massink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,3,23]]},"reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00127-8","volume":"202","author":"M. Bernardo","year":"1998","unstructured":"M. Bernardo and R. Gorrieri. A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time. Theoretical Computer Science, 202:1\u201354, 1998.","journal-title":"Theoretical Computer Science"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14:25\u201359, 1987.","journal-title":"Computer Networks and ISDN Systems"},{"key":"16_CR3","unstructured":"M. Bravetti and R. Gorrieri. Interactive Generalized Semi-Markov Processes. In J. Hillston and M. Silva, editors, Proc.of PAPM\u201999, pages 83\u201398, Zaragoza, Spain, September 1999."},{"issue":"7","key":"16_CR4","doi-asserted-by":"publisher","first-page":"552","DOI":"10.1093\/comjnl\/38.7.552","volume":"38","author":"E. Brinksma","year":"1995","unstructured":"E. Brinksma, J.-P. Katoen, R. Langerak, and D. Latella. A Stochastic Causality-Based Process Algebra. The Computer Journal, 38(7):552\u2013565, 1995.","journal-title":"The Computer Journal"},{"key":"16_CR5","volume-title":"Algebras and Automata for Timed and Stochastic Systems","author":"P. R. D\u2019Argenio","year":"1999","unstructured":"P. R. D\u2019Argenio. Algebras and Automata for Timed and Stochastic Systems. PhD thesis, University of Twente, Enschede, The Netherlands, November 1999."},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"P. R. D\u2019Argenio, J.-P. Katoen, and E. Brinksma. An Algebraic Approach to the Specification of Stochastic Systems (extended abstract). In D. Gries and W.-P. de Roever, editors, Proc.of PROCOMET\u201998, pages 126\u2013148, Shelter Island, New York, USA, 1998. Chapman & Hall.","DOI":"10.1007\/978-0-387-35358-6_12"},{"key":"16_CR7","unstructured":"P. Dauphin, F. Hartleb, M. Kienow, V. Mertsiotakis, and A. Quick. PEPP: Performance Evaluation of Parallel Programs-User\u2019s Guide-Version 3.3. Technical Report 17\/93, IMMD VII, University of Erlangen-N\u00fcrnberg, Germany, 1993."},{"key":"16_CR8","unstructured":"P. Dauphin, R. Hofmann, R. Klar, B. Mohr, A. Quick, M. Siegle, and F. S\u00f6tz. ZM4\/SIMPLE: a General Approach to Performance-Measurement and Evaluation of Distributed Systems. In T. L. Casavant and M. Singhal, editors, Advances in Distributed Computing: Concepts and Design. IEEE Computer Society Press, 1992."},{"issue":"6","key":"16_CR9","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/BF01463946","volume":"28","author":"J. Engelfriet","year":"1991","unstructured":"J. Engelfriet. Branching Processes of Petri Nets. Acta Informatica, 28(6):575\u2013591, 1991.","journal-title":"Acta Informatica"},{"issue":"2","key":"16_CR10","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/0167-6423(94)00019-0","volume":"23","author":"J. Esparza","year":"1994","unstructured":"J. Esparza. Model Checking Using Net Unfoldings. Science of Computer Programming, 23(2):151\u2013195, 1994.","journal-title":"Science of Computer Programming"},{"key":"16_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/3-540-61042-1_40","volume-title":"Proc.of TACAS\u201996","author":"J. Esparza","year":"1996","unstructured":"J. Esparza, S. R\u00f6mer, and W. Vogler. An Improvement of McMillan\u2019s Unfolding Algorithm. In T. Margaria and B. Steffen, editors, Proc.of TACAS\u201996, LNCS 1055, pages 87\u2013106, Passau, Germany, March 1996. Springer-Verlag."},{"issue":"3","key":"16_CR12","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1109\/32.221135","volume":"19","author":"E. R. Gansner","year":"1993","unstructured":"E. R. Gansner, E. Koutsofios, and S. C. N. an Kiem-Phong Vo. A Technique for Drawing Directed Graphs. IEEE Transactions on Software Engineering, 19(3):214\u2013230, 1993.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BFb0013851","volume-title":"Proc. of PERFORMANCE\u201993","author":"N. G\u00f6tz","year":"1993","unstructured":"N. G\u00f6tz, U. Herzog, and M. Rettelbach. Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras. In L. Donatiello and R. Nelson, editors, Proc. of PERFORMANCE\u201993, LNCS 729, pages 121\u2013146, Rome, Italy, September 1993. Springer-Verlag."},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"P. G. Harrison and B. Strulo. Stochastic Process Algebra for Discrete Event Simulation. In F. Bacelli, A. Jean-Marie, and I. Mitrani, editors, Quantitative Methods in Parallel Systems, Esprit Basic Research Series, pages 18\u201337. Springer-Verlag, 1995. Chapter 2.","DOI":"10.1007\/978-3-642-79917-4_2"},{"key":"16_CR15","first-page":"207","volume-title":"Proc.of the QMIPS Workshop on Formalisms, Principles and State-ofthe-art","author":"F. Hartleb","year":"1993","unstructured":"F. Hartleb. Stochastic Graph Models for Performance Evaluation of Parallel Programs and the Evaluation Tool PEPP. In N. G\u00f6tz, U. Herzog, and M. Rettelbach, editors, Proc.of the QMIPS Workshop on Formalisms, Principles and State-ofthe-art, pages 207\u2013224, Erlangen\/Pommersfelden, Germany, March 1993. Arbeitsbericht Band 26, Number 14."},{"key":"16_CR16","volume-title":"Interactive Markov Chains","author":"H. Hermanns","year":"1998","unstructured":"H. Hermanns. Interactive Markov Chains. PhD thesis, University of Erlangen, N\u00fcrnberg, Germany, 1998."},{"issue":"1","key":"16_CR17","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0167-6423(99)00019-2","volume":"36","author":"H. Hermanns","year":"2000","unstructured":"H. Hermanns and J.-P. Katoen. Automated Compositional Markov Chain Generation for a Plain-Old Telephone System. Science of Computer Programming, 36(1):97\u2013127, 2000.","journal-title":"Science of Computer Programming"},{"key":"16_CR18","unstructured":"U. Herzog. A Concept for Graph-Based Stochastic Process Algebras, Generally Distributed Activity Times, and Hierarchical Modelling. In M. Ribaudo, editor, Proc.of PAPM\u201996, pages 1\u201320. C.L.U.T. Press, 1996."},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"J. Hillston. A Compositional Approach to Performance Modelling. Distinguished Dissertations Series. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511569951"},{"key":"16_CR20","unstructured":"IEEE Computer Society. IEEE Standard for a High Performance Serial Bus, Std 1394-1995 edition, 1996."},{"key":"16_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-99681-7","volume-title":"Messung and Modellierung Paralleler und Verteilter Rechensysteme (in german)","author":"R. Klar","year":"1995","unstructured":"R. Klar, P. Dauphin, F. Hartleb, R. Hofmann, B. Mohr, A. Quick, and M. Siegle. Messung and Modellierung Paralleler und Verteilter Rechensysteme (in german). Teubner-Verlag, Stuttgart, 1995."},{"key":"16_CR22","volume-title":"Transformations and Semantics for LOTOS","author":"R. Langerak","year":"1992","unstructured":"R. Langerak. Transformations and Semantics for LOTOS. PhD thesis, University of Twente, Enschede, The Netherlands, November 1992."},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"R. Langerak. Deriving a Graph Grammar from a Complete Finite Prefix of an Unfolding. In I. Castellani and B. Victor, editors, Proc.of EXPRESS\u201999, ENTCS 27, Eindhoven, The Netherlands, August 1999. Elsevier Science Publishers.","DOI":"10.1016\/S1571-0661(05)80293-2"},{"key":"16_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/3-540-48683-6_18","volume-title":"Proc.of CAV\u201999","author":"R. Langerak","year":"1999","unstructured":"R. Langerak and E. Brinksma. A Complete Finite Prefix for Process Algebra. In N. Halbwachs and D. Peled, editors, Proc.of CAV\u201999, LNCS 1633, pages 184\u2013195, Trento, Italy, July 1999. Springer-Verlag."},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"K. L. McMillan. Symbolic Model Checking: An Approach to the State Explosion Problem. Kluwer Academic Publishers, 1993.","DOI":"10.1007\/978-1-4615-3190-6"},{"issue":"1","key":"16_CR26","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF01384314","volume":"6","author":"K. L. McMillan","year":"1995","unstructured":"K. L. McMillan. A Technique of State Space Search Based on Unfolding. Formal Methods in System Design, 6(1):45\u201365, 1995.","journal-title":"Formal Methods in System Design"},{"key":"16_CR27","series-title":"Technical report","volume-title":"Extension of the Graph Analysis Tool SPASS and Integration into the X-Window Environment of PEPP (in german)","author":"V. Mertsiotakis","year":"1991","unstructured":"V. Mertsiotakis. Extension of the Graph Analysis Tool SPASS and Integration into the X-Window Environment of PEPP (in german). Technical report, Department of Computer Science VII, IMMD VII, University of Erlangen-N\u00fcrnberg, Germany, 1991. Internal study."},{"issue":"1","key":"16_CR28","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"M. Nielsen, G. D. Plotkin, and G. Winskel. Petri Nets, Event Structures and Domains, Part 1. Theoretical Computer Science, 13(1):85\u2013108, 1981.","journal-title":"Theoretical Computer Science"},{"key":"16_CR29","unstructured":"E.-R. Olderog. Nets, Terms and Formulas, volume 23 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1991."},{"key":"16_CR30","volume-title":"Models and Methods for Action Refinement","author":"A. Rensink","year":"1993","unstructured":"A. Rensink. Models and Methods for Action Refinement. PhD thesis, University of Twente, Enschede, The Netherlands, August 1993."},{"key":"16_CR31","volume-title":"Towards Effective Model Checking","author":"T. C. Ruys","year":"2001","unstructured":"T. C. Ruys. Towards Effective Model Checking. PhD thesis, University of Twente, Enschede, The Netherlands, March 2001. To be published."},{"key":"16_CR32","series-title":"Lect Notes Comput Sci","first-page":"194","volume-title":"Proc.of the Int. Workshop on Graph Drawing (GD\u201994)","author":"G. Sander","year":"1994","unstructured":"G. Sander. Graph Layout through the VCG Tool. In R. Tamassia and I. G. Tollis, editors, Proc.of the Int. Workshop on Graph Drawing (GD\u201994), LNCS 894, pages 194\u2013205, Princeton, New Jersey, USA, 1994. Springer-Verlag."},{"key":"16_CR33","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/3-540-48778-6_4","volume-title":"Proc.of ARTS\u201999","author":"M. I. Stoelinga","year":"1999","unstructured":"M. I. Stoelinga and F. W. Vaandrager. Root Contention in IEEE 1994. In J.-P. Katoen, editor, Proc.of ARTS\u201999, LNCS 1601, pages 53\u201374, Bamberg, Germany, May 1999. Springer-Verlag."},{"key":"16_CR34","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/BFb0028746","volume-title":"Proc.of CAV\u201998","author":"F. Wallner","year":"1998","unstructured":"F. Wallner. Model-Checking LTL using Net Unfoldings. In A. J. Hu and M. Y. Vardi, editors, Proc.of CAV\u201998, LNCS 1427, pages 207\u2013218, Vancouver, Canada, July 1998. Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45319-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T23:34:40Z","timestamp":1558481680000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45319-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418658","9783540453192"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-45319-9_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"23 March 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}