{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:34:17Z","timestamp":1725492857201},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672609"},{"type":"electronic","value":"9783540464297"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46429-8_34","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T10:52:33Z","timestamp":1192877553000},"page":"370-373","source":"Crossref","is-referenced-by-count":1,"title":["Implementing Symbolic Models for Value Passing in TwoTowers"],"prefix":"10.1007","author":[{"given":"Marco","family":"Bernardo","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,12,20]]},"reference":[{"key":"34_CR1","unstructured":"A. Aldini, M. Bernardo, R. Gorrieri, \u201cAn Algebraic Model for Evaluating the Performance of an ATM Switch with Explicit Rate Marking\u201d, in Proc. of PAPM\u2019 99, Prensas Universitarias de Zaragoza, pp. 119\u2013138, 1999"},{"key":"34_CR2","unstructured":"A. Aldini, M. Bernardo, R. Gorrieri, M. Roccetti, \u201cA Simulative Analysis of Internet Audio Mechanisms Using Formal Methods\u201d, in Proc. of ESS\u2019 99, SCS International, pp. 281\u2013288, 1999"},{"key":"34_CR3","volume-title":"Theory and Application of Extended Markovian Process Algebra","author":"M. Bernardo","year":"1999","unstructured":"M. Bernardo, \u201cTheory and Application of Extended Markovian Process Algebra\u201d, Ph.D. Thesis, University of Bologna (Italy), 1999 ( http:\/\/www.di.unito.it\/~bernardo\/ )"},{"key":"34_CR4","doi-asserted-by":"crossref","unstructured":"M. Bernardo, R. Cleaveland, S. Sims, W. Stewart, \u201cTwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems\u201d, in Proc. of FORTE\/PSTV\u2019 98, Kluwer, pp. 457\u2013467, 1998","DOI":"10.1007\/978-0-387-35394-4_28"},{"key":"34_CR5","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/s001650050020","volume":"10","author":"M. Bernardo","year":"1999","unstructured":"M. Bernardo, R. Gorrieri, M. Roccetti, \u201cFormal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetized Audio over the Internet\u201d, in Formal Aspects of Computing 10:313\u2013337, 1999","journal-title":"Formal Aspects of Computing"},{"key":"34_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1007\/3-540-61474-5_87","volume-title":"Proc. of CAV\u2019 96","author":"W.R. Cleaveland","year":"1996","unstructured":"W.R. Cleaveland, S. Sims, \u201cThe NCSU Concurrency Workbench\u201d, in Proc. of CAV\u2019 96, LNCS 1102:394\u2013397, 1996"},{"key":"34_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/3-540-58021-2_20","volume-title":"Proc. of PERFORMANCE TOOLS\u2019 94","author":"S. Gilmore","year":"1994","unstructured":"S. Gilmore, J. Hillston, \u201cThe PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling\u201d, in Proc. of PERFORMANCE TOOLS\u2019 94, LNCS 794:353\u2013368, 1994"},{"key":"34_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1007\/3-540-61042-1_65","volume-title":"Proc. of TACAS\u2019 96","author":"H. Hermanns","year":"1996","unstructured":"H. Hermanns, V. Mertsiotakis, M. Rettelbach, \u201cA Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP\u201d, in Proc. of TACAS\u2019 96, LNCS 1055:427\u2013430, 1996"},{"key":"34_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1007\/3-540-49059-0_21","volume-title":"Proc. of TACAS\u2019 99","author":"Z. Li","year":"1999","unstructured":"Z. Li, H. Chen, \u201cComputing Strong\/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes\u201d, in Proc. of TACAS\u2019 99, LNCS 1579:300\u2013314, 1999"},{"key":"34_CR10","unstructured":"R. Milner, \u201cCommunication and Concurrency\u201d, Prentice Hall, 1989"},{"key":"34_CR11","doi-asserted-by":"crossref","unstructured":"W.J. Stewart, \u201cIntroduction to the Numerical Solution of Markov Chains\u201d, Princeton University Press, 1994","DOI":"10.1515\/9780691223384"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Evaluation.Modelling Techniques and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46429-8_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T09:04:51Z","timestamp":1684055091000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46429-8_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672609","9783540464297"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-46429-8_34","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}