{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:54Z","timestamp":1725456054971},"publisher-location":"Berlin\/Heidelberg","reference-count":36,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540177078"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0026971","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:22:49Z","timestamp":1132395769000},"page":"360-372","source":"Crossref","is-referenced-by-count":3,"title":["The dimension of time in protocol specification"],"prefix":"10.1007","author":[{"given":"Harry","family":"Rudin","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","first-page":"51","volume-title":"Modelling elapsed time in protocol specification","author":"S. Aggarwal","year":"1983","unstructured":"S. Aggarwal and R. P. Kurshan, \u201cModelling elapsed time in protocol specification,\u201d Proc. Workshop on Protocol Specification, Testing, and Verification, III, R\u00fcschlikon, Switzerland, May 1983, (North-Holland, Amsterdam, 1983) pp. 51\u201362."},{"key":"22_CR2","volume-title":"Proc. Sixth IFIP Workshop on Protocol Specification, Testing, and Verification","author":"N. Barghouti","year":"1986","unstructured":"N. Barghouti, N. Nounou, and Y. Yemini, \u201cAn interactive protocol development environment,\u201d Proc. Sixth IFIP Workshop on Protocol Specification, Testing, and Verification, G. Bochmann and B. Sarikaya, Eds., Gray Rocks \u2014 Montreal, June 10\u201313, 1986, (North-Holland, Amsterdam, Dec. 1986), to be published."},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"B. Beizer, \u201cAnalytical techniques for the statistical evaluation of program running time,\u201d Proc. Fall Joint Computer Conference, 1970, pp. 519\u2013524.","DOI":"10.1145\/1478462.1478537"},{"key":"22_CR4","first-page":"491","volume-title":"On the analysis of time-constrained protocols by network flow algorithms","author":"T. Bolognesi","year":"1985","unstructured":"T. Bolognesi and H. Rudin, \u201cOn the analysis of time-constrained protocols by network flow algorithms,\u201d Proc. Fourth Workshop on Protocol Specification, Testing, and Verification, Skytop, Pennsylvania, June 1984, (North-Holland, Amsterdam, 1985), pp. 491\u2013513."},{"key":"22_CR5","first-page":"227","volume-title":"A specification of the OSI transport service in LOTOS","author":"E. Brinksma","year":"1985","unstructured":"E. Brinksma, \u201cA specification of the OSI transport service in LOTOS,\u201d Proc. Workshop on Protocol Specification, Testing, and Verification, IV, Sky Top, Pennsylvania, June 1984, (North-Holland, Amsterdam, 1985), pp. 227\u2013251."},{"key":"22_CR6","unstructured":"C.C.I.T.T., Red Book, Volume VI-Fascile VI.10, Functional Specification and Description Language (SDL), Recommendation Z.101\u2013Z.104, VIIIth Plenary Assembly, Torremolinos, Oct. 8\u201319, 1984."},{"key":"22_CR7","first-page":"349","volume-title":"Predicting protocol performance from a meta-implementation","author":"J. Engelbrecht","year":"1985","unstructured":"J. Engelbrecht, P. Kritzinger, and H. Rudin, \u201cPredicting protocol performance from a meta-implementation,\u201d Proc. Fifth Workshop on Protocol Specification, Testing, and Verification, M. Diaz, Ed., Moissac-Toulouse, June 10\u201313, 1985, (North-Holland, Amsterdam, 1985), pp. 349\u2013362."},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"H. C. Folts and R. desJardins, Eds., Special issue of the Proceedings of the IEEE on OSI, Vol. 71, No. 12, Dec. 1983, pp. 1331\u20131448.","DOI":"10.1109\/PROC.1983.12774"},{"key":"22_CR9","unstructured":"M. G. Gouda, \u201cProtocol machines: towards a logical theory of communication protocols,\u201d PhD. thesis, University of Waterloo, Jan. 1978 (see especially Chapter 11)."},{"key":"22_CR10","volume-title":"Proc. Sixth IFIP Workshop on Protocol Specification, Testing, and Verification","author":"A. Gravey","year":"1986","unstructured":"A. Gravey and A. Dupuis, \u201cPerformance evaluation of two mutual exclusion distributed protocols via Markovian modeling,\u201d Proc. Sixth IFIP Workshop on Protocol Specification, Testing, and Verification, G. Bochmann and B. Sarikaya, Eds., Gray Rocks \u2014 Montreal, June 10\u201313, 1986, (North-Holland, Amsterdam, Dec. 1986), to be published."},{"key":"22_CR11","unstructured":"Y. W. Han, \u201cPerformance evaluation of a digital system using a Petri-net-like approach,\u201d Proc. National Electronics Conference, Chicago, 1978, pp. 166\u2013172."},{"key":"22_CR12","first-page":"527","volume-title":"Analyzing the time efficiency of a communication protocol","author":"P. Kritzinger","year":"1985","unstructured":"P. Kritzinger, \u201cAnalyzing the time efficiency of a communication protocol,\u201d Proc. Fourth Workshop on Protocol Specification, Testing, and Verification, Skytop, Pennsylvania, June 1984, (North-Holland, Amsterdam, 1985), pp. 527\u2013539."},{"issue":"6","key":"22_CR13","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1109\/TCOM.1986.1096579","volume":"COM-34","author":"P. Kritzinger","year":"1986","unstructured":"P. Kritzinger, \u201cA performance model of the OSI communication architecture,\u201d IEEE Trans. on Commun., Vol. COM-34, No. 6, June 1986, pp. 554\u2013563.","journal-title":"IEEE Trans. on Commun."},{"key":"22_CR14","first-page":"343","volume-title":"Proc. Second International Workshop on Protocol Specification, Testing, and Verification, Idylwild","author":"S. S. Lam","year":"1982","unstructured":"S. S. Lam and A. U. Shankar, \u201cAn illustration of protocol projections,\u201d C. A. Sunshine, Ed., Proc. Second International Workshop on Protocol Specification, Testing, and Verification, Idylwild, May 17\u201320, 1982, (North-Holland, Amsterdam, 1982), pp. 343\u2013360."},{"key":"22_CR15","unstructured":"M. A. Marsan, G. Balbo, and K. Trivedi, Eds., Proc. International Workshop on Timed Petri Nets, Torino, Italy, (IEEE Comp. Soc. Press), July 1\u20133, 1985."},{"key":"22_CR16","first-page":"161","volume-title":"Time Petri nets for analyzing and verifying time dependent communication protocols","author":"M. Menasche","year":"1983","unstructured":"M. Menasche and B. Berthomieu, \u201cTime Petri nets for analyzing and verifying time dependent communication protocols\u201d, Proc. Workshop on Protocol Specification, Testing, and Verification, III, R\u00fcschlikon, Switzerland, May 1983, (North-Holland, Amsterdam, 1983) pp. 161\u2013172."},{"key":"22_CR17","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"COM-24","author":"P. Merlin","year":"1976","unstructured":"P. Merlin and D. J. Farber, \u201cRecoverability of communication protocols: implications of a theoretical study,\u201d IEEE Trans. Commun., Vol. COM-24, Sept. 1976, pp. 1036\u20131043.","journal-title":"IEEE Trans. Commun."},{"issue":"9","key":"22_CR18","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"C-31","author":"M. K. Molloy","year":"1982","unstructured":"M. K. Molloy, \u201cPerformance analysis using stochastic Petri nets,\u201d IEEE Trans. Computers, Vol. C-31, No. 9, Sept. 1982, pp. 913\u2013917.","journal-title":"IEEE Trans. Computers"},{"key":"22_CR19","first-page":"541","volume-title":"Algebraic specification-based performance analysis of communication protocols","author":"N. Nounou","year":"1985","unstructured":"N. Nounou and Y. Yemini, \u201cAlgebraic specification-based performance analysis of communication protocols\u201d, Proc. Workshop on Protocol Specification, Testing, and Verification, IV, Skytop, Pennsylvania, June 1984, (North-Holland, Amsterdam, 1985), pp. 541\u2013560."},{"issue":"6","key":"22_CR20","doi-asserted-by":"publisher","first-page":"1348","DOI":"10.1109\/TCOM.1982.1095591","volume":"COM-30","author":"D. P. Pozefsky","year":"1982","unstructured":"Pozefsky, D. P. and F. D. Smith, \u201cA meta-implementation for Systems Network Architecture,\u201d IEEE Trans. Commun., Vol. COM-30, No. 6, June 1982, pp. 1348\u20131355.","journal-title":"IEEE Trans. Commun."},{"key":"22_CR21","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1109\/TSE.1980.230492","volume":"SE-6","author":"C. V. Ramamoorthy","year":"1980","unstructured":"C. V. Ramamoorthy and G. S. Ho, \u201cPerformance evaluation of asynchronous concurrency systems using Petri nets\u201d, IEEE Trans. Software Eng., Vol. SE-6, Sept. 1980, pp. 440\u2013449.","journal-title":"IEEE Trans. Software Eng."},{"key":"22_CR22","unstructured":"C. Ramchandani, \u201cAnalysis of asynchronous concurrent systems by timed Petri nets\u201d, Ph.D. Thesis, M. I. T., Dept. of E. E., AD-775618, July 1973."},{"key":"22_CR23","first-page":"561","volume-title":"Performance analysis using timed Petri nets","author":"R. R. Razouk","year":"1985","unstructured":"R. R. Razouk and C. V. Phelps, \u201cPerformance analysis using timed Petri nets,\u201d Proc. Fourth Workshop on Protocol Specification, Testing, and Verification, Skytop, Pennsylvania, June 1984, (North-Holland, Amsterdam, 1985), pp. 561\u2013576."},{"key":"22_CR24","first-page":"257","volume-title":"From formal protocol specification towards automated performance prediction","author":"H. Rudin","year":"1983","unstructured":"H. Rudin, \u201cFrom formal protocol specification towards automated performance prediction,\u201d Proc. Workshop on Protocol Specification, Testing, and Verification, III, R\u00fcschlikon, Switzerland, May 1983, (North-Holland, Amsterdam, 1983) pp. 257\u2013269."},{"key":"22_CR25","first-page":"515","volume-title":"An improved algorithm for estimating protocol performance","author":"H. Rudin","year":"1985","unstructured":"H. Rudin, \u201cAn improved algorithm for estimating protocol performance,\u201d Proc. Fourth Workshop on Protocol Specification, Testing, and Verification, Skytop, Pennsylvania, June 1984, (North-Holland, Amsterdam, 1985), pp. 515\u2013525."},{"issue":"3","key":"22_CR26","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MCOM.1985.1092527","volume":"23","author":"H. Rudin","year":"1985","unstructured":"H. Rudin, \u201cAn informal overview of formal protocol specification\u201d, IEEE Communications Magazine, Vol. 23, No. 3, March 1985, pp. 46\u201352.","journal-title":"IEEE Communications Magazine"},{"key":"22_CR27","doi-asserted-by":"crossref","unstructured":"H. Rudin, \u201cTime in formal protocol specifications\u201d, Proc. GI\/NTG Conference on Communication in Distributed Systems, Karlsruhe, March 11\u201315, 1985, pp. 575\u2013587.","DOI":"10.1007\/978-3-642-70285-3_35"},{"key":"22_CR28","unstructured":"M. Sajkowski, \u201cOn verifying time-dependent protocols\u201d, Proc. Sixth Intl. Conference on Software Engineering for Telecommunication Switching Systems, Eindhoven, April 14\u201318, 1986, pp. 46\u201351."},{"key":"22_CR29","volume-title":"Proc. Sixth IFIP Workshop on Protocol Specification, Testing, and Verification","author":"M. Sajkowski","year":"1986","unstructured":"M. Sajkowski, \u201cProtocol verification in the presence of time\u201d, Proc. Sixth IFIP Workshop on Protocol Specification, Testing, and Verification, G. Bochmann and B. Sarikaya, Eds., Gray Rocks \u2014 Montreal, June 10\u201313, 1986, (North-Holland, Amsterdam, Dec. 1986), to be published."},{"key":"22_CR30","first-page":"215","volume-title":"Proc. Second International Workshop on Protocol Specification, Testing, and Verification","author":"A. U. Shankar","year":"1982","unstructured":"A. U. Shankar and S. S. Lam, \u201cOn time-dependent communication protocols and their projections,\u201d C. A. Sunshine, Ed., Proc. Second International Workshop on Protocol Specification, Testing, and Verification, Idylwild, May 17\u201320, 1982, (North-Holland, Amsterdam, 1982), pp. 215\u2013235."},{"key":"22_CR31","volume-title":"Modeling and analysis of communication protocols using numerical Petri nets","author":"F. J. W. Symons","year":"1978","unstructured":"F. J. W. Symons, \u201cModeling and analysis of communication protocols using numerical Petri nets\u201d, Ph.D. Thesis at University of Essex, England, May, 1978."},{"issue":"12","key":"22_CR32","first-page":"1356","volume":"71","author":"C. A. Vissers","year":"1983","unstructured":"C. A. Vissers, R. L. Tenney, and G. V. Bochmann, \u201cFormal description techniques\u201d, Special issue on OSI, Proc. IEEE, Vol. 71, No. 12, Dec. 1983, pp. 1356\u20131364.","journal-title":"Special issue on OSI, Proc. IEEE"},{"key":"22_CR33","first-page":"149","volume-title":"Timed Petri-nets for modelling and analyzing protocols with real-time characteristics","author":"B. Walter","year":"1983","unstructured":"B. Walter, \u201cTimed Petri-nets for modelling and analyzing protocols with real-time characteristics,\u201d Proc. Workshop on Protocol Specification, Testing, and Verification, III, R\u00fcschlikon, Switzerland, May 1983, (North-Holland, Amsterdam, 1983) pp. 149\u2013159."},{"key":"22_CR34","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1147\/rd.224.0393","volume":"22","author":"C.H. West","year":"1978","unstructured":"C.H. West, \u201cGeneral technique for communications protocol validation,\u201d IBM J. Res. Develop., Vol. 22, July 1978, pp. 393\u2013404.","journal-title":"IBM J. Res. Develop."},{"key":"22_CR35","doi-asserted-by":"crossref","unstructured":"W. M. Zuberek, \u201cTimed Petri nets and preliminary performance evaluation\u201d, Proc. 7th Annual IEEE Symposium on Computer Architecture, 1980, pp. 88\u201396.","DOI":"10.1145\/800053.801913"},{"key":"22_CR36","unstructured":"W. M. Zuberek, \u201cPerformance evaluation using extended Petri nets,\u201d in M. A. Marsan, G. Balbo, and K. Trivedi, Eds., Proc. Intl. Workshop on Timed Petri Nets, Torino, Italy, (IEEE Comp. Soc. Press), July 1\u20133, 1985, pp. 272\u2013278."}],"container-title":["Lecture Notes in Computer Science","Networking in Open Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026971.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:56:17Z","timestamp":1607550977000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026971"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540177078"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/bfb0026971","relation":{},"subject":[]}}