{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:06:28Z","timestamp":1725635188373},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572015"},{"type":"electronic","value":"9783642784958"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-3-642-78495-8_1","type":"book-chapter","created":{"date-parts":[[2011,11,18]],"date-time":"2011-11-18T04:02:13Z","timestamp":1321588933000},"page":"1-13","source":"Crossref","is-referenced-by-count":0,"title":["Performance Evaluation and Concurrent Programming"],"prefix":"10.1007","author":[{"given":"Gianfranco","family":"Balbo","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"M. Ajmone Marsan, G. Balbo, and G. Conte. A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems.- ACM Transactions on Computer Systems, 2 (1), May 1984.","DOI":"10.1145\/190.191"},{"key":"1_CR2","volume-title":"Performance Models of Multiprocessor Systems","author":"MA Marsan","year":"1986","unstructured":"M. Ajmone Marsan, G. Balbo, and G. Conte. Performance Models of Multiprocessor Systems. MIT Press, Cambridge, USA, 1986."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"G. Balbo, G. Chiola, S.C. Bruell, and P. Chen. An example of modelling and evaluation of a concurrent program using coloured stochastic Petri nets: Lamport\u2019s fast mutual exclusion algorithm. IEEE Transactions on Parallel and Distributed Systems, 3 (1), January 1992.","DOI":"10.1109\/71.127262"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"G. Balbo, S. Donatelli, and G. Franceschinis. Understanding parallel programs behaviour through Petri net models. J. of Parallel and Distributed Computing, 15 (3), 1992.","DOI":"10.1016\/0743-7315(92)90002-5"},{"key":"1_CR5","volume-title":"and M. Ribaudo","author":"G Balbo","year":"1993","unstructured":"G. Balbo, S. Donatelli, G. Franceschinis, A. Mazzeo, A. Mazzocca, and M. Ribaudo. On concurrent programs characterization. To appear on Performance Evaluation, 1993."},{"key":"1_CR6","volume-title":"Proc. PARLE 93, Parallel Architectures and Language Europe, number 694 in LNCS. Springer Verlag","author":"J Darlington","year":"1993","unstructured":"J. Darlington, A.J. Field, P.G. Harrison, P.H.J. Kelly, D.W.N. Sharp, and Q. Wu. Parallel programming using skeleton functions. In Proc. PARLE \u201993, Parallel Architectures and Language Europe, number 694 in LNCS. Springer Verlag, 1993."},{"key":"1_CR7","unstructured":"A. Ferscha. Modelling mappings of parallel computations onto parallel architectures with prm-net model. In Proc. IFIP-WG 10.3 Working Conference on Decentralized Systems, Lyon, December 1989."},{"key":"1_CR8","volume-title":"of ACM","author":"CAR Hoare","year":"1978","unstructured":"C.A.R. Hoare. Communicating sequential process. Comm. of ACM, Aug 1978."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"G. Iannello, A. Mazzeo, C. Savy, and G. Ventre. Parallel software development in disc programming enviroment. Future Generation Computer Systems, 5 (4), 1990.","DOI":"10.1016\/0167-739X(90)90036-D"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"O. Kramer and H. Muhlenbein. Mapping strategies in message-based multiproces\u00acsors system. Parallel Computing, 9, 1989.","DOI":"10.1016\/0167-8191(89)90129-4"},{"issue":"3","key":"1_CR11","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1109\/32.21759","volume":"15","author":"T Murata","year":"1989","unstructured":"T. Murata, B. Shenker, and S. Shatz. Detection of Ada static deadlocks using Petri nets invariants. IEEE Transactions on Software Engineering, 15 (3): 314\u2013326, March 1989.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR12","unstructured":"S. Pelagatti. A Methodology for the Development and the Support of Massively Parallel Programs. PhD thesis, Informatics Department, University of Pisa, Pisa, Italy, March 1993. Technical Report TD\/93."},{"key":"1_CR13","volume-title":"IEEE Transactions on Computer","author":"CV Ramamoorty","year":"1984","unstructured":"C.V. Ramamoorty and W.T. Tsai A. Prakash. Software engineering: Problems and perspectives. IEEE Transactions on Computer, October 1984."},{"key":"1_CR14","volume-title":"IEEE-CS Press","author":"S Shatz","year":"1989","unstructured":"S. Shatz and J. Wang. Tutorial on Distributed Software Engeneering. IEEE-CS Press, 1989."},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"J.K. Aggarwal Soo-Young Lee. A mapping strategy for parallel processing. IEEE Transactions on Computers, C 36 (4), Apr 1987.","DOI":"10.1109\/TC.1987.1676925"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"R. Taylor. A general purpose algorithm for analyzing concurrent programs. Comm. of ACM, 26, May 1983.","DOI":"10.1145\/69586.69587"}],"container-title":["Informatik aktuell","Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-78495-8_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,26]],"date-time":"2020-11-26T17:32:02Z","timestamp":1606411922000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-78495-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572015","9783642784958"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-78495-8_1","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1993]]}}}