{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:14:32Z","timestamp":1725664472845},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540592938"},{"type":"electronic","value":"9783540492337"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59293-8_234","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:13:04Z","timestamp":1330276384000},"page":"772-786","source":"Crossref","is-referenced-by-count":0,"title":["Performance-oriented formal specifications \u2014 the LotoTis approach"],"prefix":"10.1007","author":[{"given":"Ina","family":"Schieferdecker","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"51_CR1","unstructured":"P. Dembinski. Queueing models for ESTELLE. In Proc. of the 5th Intern. Conf. on Formal Description Techniques, pages 73\u201386, 1993."},{"volume-title":"Using Formal Description Techniques","year":"1993","key":"51_CR2","unstructured":"K.J. Turner (editor). Using Formal Description Techniques. John Wiley & Sons, Chichester, 1993."},{"key":"51_CR3","unstructured":"A. Fantechi, S. Gnesi, and G. Mazzarini. How much expressive are LOTOS behaviour expressions? In Paricipant's Proc. of the Third Intern. Conf. Formal Description Techniques, pages 9\u201324, 1990."},{"key":"51_CR4","series-title":"Prentice Hall Software Series","volume-title":"Design and Validation of Computer Protocols","author":"G.J. Holzmann","year":"1991","unstructured":"G.J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall Software Series. Prentice-Hall, Englewood Cliffs, New Jersey, 1991."},{"key":"51_CR5","unstructured":"ISO. Information processing systems \u2014 open system interconnection \u2014 LOTOS \u2014 a formal description technique based on the temporal ordering of observational behaviour. ISO\/IEC 8807, 1988."},{"key":"51_CR6","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0169-7552(92)90122-7","volume":"25","author":"G. Leduc","year":"1992","unstructured":"Guy Leduc. A framework based on implementation relations for implementing lotos specifications. Computer Networks and ISDN Systems, (25):23\u201341, 1992.","journal-title":"Computer Networks and ISDN Systems"},{"issue":"5","key":"51_CR7","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1145\/55483.55496","volume":"17","author":"F.J. Lin","year":"1987","unstructured":"F.J. Lin, P.M. Chu, and M.T. Liu. Protocol verification using reachability analysis. Computer Communication Review, 17(5):126\u2013135, 1987.","journal-title":"Computer Communication Review"},{"key":"51_CR8","unstructured":"M.A. Marsan, A. Bianco, L. Ciminiera, R. Sisto, and A. Valenzano. Integrating performance analysis in the context of LOTOS-based design. In Proc. of MAS-CTS'94, pages 292\u2013298, 1994."},{"issue":"7","key":"51_CR9","doi-asserted-by":"crossref","first-page":"791","DOI":"10.1016\/0169-7552(93)90049-A","volume":"25","author":"C. Miguel","year":"1993","unstructured":"C. Miguel, A. Fern\u00e1ndez, J. L\u00f3pez, and L. Vidaller. A LOTOS based performance evaluation tool. Computer Networks and ISDN Systems, 25(7):791\u2013814, 1993.","journal-title":"Computer Networks and ISDN Systems"},{"key":"51_CR10","doi-asserted-by":"crossref","unstructured":"H. Rudin. Time in formal protocol specification. In Proc. of the GI\/NTG Conf. on Communication in Distributed Systems, Karlsruhe, pages 575\u2013587, 1985.","DOI":"10.1007\/978-3-642-70285-3_35"},{"key":"51_CR11","unstructured":"I. Schieferdecker. Performance-Oriented Specification of Communication Protocols and Verification of Deterministic Bounds of Their QoS Characteristics. PhD thesis, Technical University Berlin, 1994. (Upon formal approval)."},{"key":"51_CR12","unstructured":"I. Schieferdecker and A. Wolisz. Operational semantics of timed interacting systems: an algebraic performance oriented formal description technique. Technical Report 92\/19, Department of Computer Science, Technical University Berlin, 1992."},{"key":"51_CR13","unstructured":"M. Walch. A framework for performance analysis of parallel protocol execution. In Participant's Proc. of the IFIP Intern. Conf. on Information Networks and Data Communication, Madeira Island, Portugal, 1994."},{"key":"51_CR14","unstructured":"A. Wolisz. A unified approach to formal specification of communication protocols and analysis of their performance. Journal of Mathematical Modelling and Simulation in Systems Analysis, Special issue on System Analysis in Informatics, (1993)(10), 1993."}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '95: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59293-8_234.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:27:05Z","timestamp":1619573225000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59293-8_234"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540592938","9783540492337"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-59293-8_234","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}