{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:36Z","timestamp":1725664536664},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540587590"},{"type":"electronic","value":"9783540490654"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58759-4_33","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:43:14Z","timestamp":1330256594000},"page":"145-167","source":"Crossref","is-referenced-by-count":3,"title":["A formal description technique supporting expression of quality of service and media synchronization"],"prefix":"10.1007","author":[{"given":"Howard","family":"Bowman","sequence":"first","affiliation":[]},{"given":"Lynne","family":"Blair","sequence":"additional","affiliation":[]},{"given":"Gordon S.","family":"Blair","sequence":"additional","affiliation":[]},{"given":"Amanda G.","family":"Chetwynd","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"9_CR1","unstructured":"Alur, R., and T.A. Henzinger. \u201cLogics and Models of Real-Time: A Survey.\u201d REX Workshop. Real-Time: Theory in Practice, Editor: J.W. de Bakker, C. Huizing, W.P. de Roever and G. Rozenberg, Springer-Verlag, pp: 74\u2013106, 1991."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"D.P. Anderson, S.Y. Tzou, R. Wahbe, R. Govindan and M. Andrews, \u201cSupport for Continuous Media in the DASH System\u201d, Proceedings of the 10th International Conference on Distributed Computing Systems, Paris, May 1990.","DOI":"10.1109\/ICDCS.1990.89284"},{"issue":"No.4","key":"9_CR3","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0140-3664(90)90120-6","volume":"13","author":"P.B. Berra","year":"1990","unstructured":"P.B. Berra, C.Y.R. Chen, A. Ghafoor, C.C. Lin, T.D.C. Little, and D. Shin. \u201cArchitecture for distributed multimedia database systems.\u201d Computer Communications Vol. 13 No. 4, pp 217\u2013231, 1990.","journal-title":"Computer Communications"},{"key":"9_CR4","first-page":"25","volume-title":"Computer Networks and ISDN Systems, Vol. 14, No. 1","author":"T. Bolognesi","year":"1988","unstructured":"T. Bolognesi and E. Brinksma, \u201cIntroduction to the ISO Specification Language LOTOS\u201d, Computer Networks and ISDN Systems, Vol. 14, No. 1, pp 25\u201359, North-Holland, Amsterdam, 1988."},{"key":"9_CR5","unstructured":"Bowman, H., G.S. Blair, L. Blair, and A.G. Chetwynd. \u201cTime Versus Abstraction in Formal Description.\u201d FORTE'93, Sixth International Conference on Formal Description Techniques (also, available as Lancaster University Computing Department Report MPG-93-09), October l993."},{"key":"9_CR6","unstructured":"Bowman, H., L. Blair, G.S. Blair, and A.G. Chetwynd. \u201cFormal Description of Multimedia Systems: An Assessment of Potential Techniques\u201d, Internal Report MPG-93-05, Lancaster University, (also, to appear in Computer Communications), April 1993."},{"key":"9_CR7","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0169-7552(87)90084-5","volume":"4","author":"S. Budkowski","year":"1987","unstructured":"Budkowski, S., and P. Dembinski. \u201cAn Introduction to Estelle: A Specification Language for Distributed Systems.\u201d Computer Networks and ISDN Systems Vol. 4, pp: 3\u201323, 1987.","journal-title":"Computer Networks and ISDN Systems"},{"key":"9_CR8","unstructured":"Campbell, A., G. Coulson, F. Garcia, D. Hutchison, and H. Leopold. \u201cIntegrated Quality of Service for Multimedia Communications.\u201d Infocom '93, 1993."},{"key":"9_CR9","unstructured":"CCITT, \u201cRecommendation Z.100:Specification and Description Language SDL\u201d, AP IX-35, 1988."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Clarke, E.M. and O. Grumberg \u201cResearch on Automatic Verification of Finite State Concurrent Systems.\u201d Annual Review of Computer Science, pp: 269\u2013290, 1987.","DOI":"10.1146\/annurev.cs.02.060187.001413"},{"key":"9_CR11","volume-title":"Internal Report MPG-90-11","author":"G. Coulson","year":"1992","unstructured":"Coulson, G., G.S. Blair, N. Davies and N. Williams, \u201cExtensions to ANSA for Multimedia Computing\u201d, Internal Report MPG-90-11, available from the Computing Department, Lancaster University, Bailrigg, Lancaster, U.K., June 1992."},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"L. Drayton, G.S. Blair and A.G. Chetwynd, \u201cAn Introduction to LOTOS through a Worked Example\u201d, Computer Communications, Vol. 15, No. 2, Butterworth-Heinemann, March 1992.","DOI":"10.1016\/0140-3664(92)90127-Z"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"H. Ehrig and B. Mahr, \u201cFundamentals of Algebraic Specification\u201d, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"9_CR14","unstructured":"Fidge, C.J. \u201cSpecification and Verification of Real-Time Behaviour Using Z and RTL.\u201d Formal Techniques in Real-time and Fault Tolerant Systems, Editor: J. Vytopil, Springer-Verlag, Pages: 393\u2013410, 1992."},{"issue":"No4","key":"9_CR15","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0140-3664(90)90118-Z","volume":"13","author":"D.B. Hehmann","year":"1990","unstructured":"D.B. Hehmann, M.G. Salmony and H.J. St\u00fcttgen, \u201cTransport Services for Multimedia Applications on Broadband Networks\u201d, Computer Communications, Vol 13, No 4, pp 197\u2013203, Butterworth-Heinemann, May 1990.","journal-title":"Computer Communications"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Z. Manna, and A. Pnueli. \u201cAn Interleaving Model for Real-time.\u201d Fifth Jerusalem Conference on Information Technology, IEEE Computer Society Press, pp 717\u2013730, 1990.","DOI":"10.21236\/ADA326062"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare, \u201cCommunicating Sequential Processes\u201d, Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"9_CR18","unstructured":"Horn, F., L. Hazard, J.B. Stefani, G. Coulson, and G.S. Blair. \u201cAn Integrated Computational Model and Programming Platform for Open Distributed Multimedia Applications.\u201d 3rd International Workshop on Network and Operating System Support for Digital Audio and Video, 1992."},{"key":"9_CR19","volume-title":"Information Processing Systems \u2014 Open Systems Interconnection \u2014 LOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour","author":"ISO","year":"1988","unstructured":"ISO, \u201cInformation Processing Systems \u2014 Open Systems Interconnection \u2014 LOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour\u201d, ISO\/IEC 8807, Geneva, 1988."},{"key":"9_CR20","volume-title":"Information Processing Systems \u2014 Open Systems Interconnection \u2014 ESTELLE \u2014 A Formal Description-Technique Based on an Extended State Transition Model","author":"ISO","year":"1989","unstructured":"ISO, \u201cInformation Processing Systems \u2014 Open Systems Interconnection \u2014 ESTELLE \u2014 A Formal Description-Technique Based on an Extended State Transition Model\u201d, ISO\/IEC 9074, Geneva, 1989."},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Jahanian, F., and A.K. Mok. \u201cSafety Analysis of Timing Properties in Real-time Systems.\u201d IEEE Transactions on Software Engineering 1986, pp: 890\u2013904.","DOI":"10.1109\/TSE.1986.6313045"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Keshav, S. \u201cReport on the Workshop on Quality of Service in High Speed Networks.\u201d Computer Communications Review 1993, pp: 74\u201385.","DOI":"10.1145\/141809.141816"},{"key":"9_CR23","unstructured":"Linington, P. \u201cIntroduction to the ODP Reference Model.\u201d International IFIP Workshop on Open Distributed Processing, Editor: J. de Meer, V. Heymer and R. Roth, North-Holland, Pages: 3\u201313, 1991."},{"key":"9_CR24","unstructured":"J.A. Ma\u00f1s, \u201cGetting to use LITE\u201d, Proceedings of the Third LOTOSPHERE Workshop, Edited by T. Bolognesi, E. Brinksma, C.A. Vissers, Pisa, Italy, 1992."},{"key":"9_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z. Manna","year":"1992","unstructured":"Z. Manna, and A. Pneuli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag. New York. 1992."},{"key":"9_CR26","unstructured":"C. Miguel, A. Fernandez, and L. Vidaller. \u201cExtending LOTOS towards performance evaluation.\u201d FORTE' 92: 5th International Conference on Formal Description Techniques, Editor: M. Diaz and R. Groz, 1992."},{"key":"9_CR27","unstructured":"R. Milner, \u201cCommunication and Concurrency\u201d, Prentice-Hall, ISBN 0-13115007-3, 1989."},{"issue":"No.3","key":"9_CR28","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1109\/49.53015","volume":"8","author":"C. Nicolaou","year":"1990","unstructured":"Nicolaou, C., \u201cArchitecture for Real-Time Multimedia Communication Systems\u201d, IEEE Journal on Selected Areas in Communication, Vol. 8, No. 3, pp 391\u2013401, 1990.","journal-title":"IEEE Journal on Selected Areas in Communication"},{"key":"9_CR29","unstructured":"Nicollin, X., and J. Sifakis. \u201cAn Overview and Synthesis on Timed Process Algebras.\u201d REX Workshop. Real-Time: Theory in Practice, Editor: J.W. de Bakker, C. Huizing, W.P. de Roever and G. Rozenberg, Springer-Verlag, pp: 74\u2013106, 1991."},{"key":"9_CR30","unstructured":"J.S. Ostroff, \u201cTemporal Logic for Real-TimeSystems\u201d, Research Studies Press Ltd, ISBN 0-86380-086-6, 1989."},{"key":"9_CR31","unstructured":"Ostroff, J.S. \u201cVerification of Safety Critical Systems Using TTM\/RTTL.\u201d REX Workshop. Real-Time: Theory in Practice, Editor: J.W. de Bakker, C. Huizing, W.P. de Roever and G. Rozenberg, Springer-Verlag, pp: 74\u2013106, 1991."},{"key":"9_CR32","volume-title":"Technical Report CS-92-07","author":"J.S. Ostroff","year":"1992","unstructured":"Ostroff, J.S. \u201cStateTime \u2014 a Diagrammatic Toolset for the Design and Verification of Real-time Systems\u201d, Technical Report CS-92-07, Department of Computer Science, York University, Ontario, Canada. July 1992."},{"key":"9_CR33","doi-asserted-by":"crossref","unstructured":"Pnueli, A. \u201cThe Temporal Logic of Programs.\u201d Foundations of Computer Science 18, pp: 46\u201357, 1977.","DOI":"10.1109\/SFCS.1977.32"},{"key":"9_CR34","unstructured":"Regan, T. \u201cMultimedia in Temporal LOTOS: A Lip Synchronisation Algorithm.\u201d To appear at PSTV XIII, Protocol Specification, Testing and Verification, Liege, Belgium, May, 1993."},{"key":"9_CR35","doi-asserted-by":"crossref","unstructured":"Reisig, W. Petri Nets. Springer-Verlag. 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"9_CR36","unstructured":"Schneider, S., J. Davies, D.M. Jackson, G.M. Reed, J.N. Reed, and A.W. Roscoe. \u201cTimed CSP: Theory and Practice.\u201d Real-Time: Theory in Practice, Editor: J.W. de Bakker, C. Huizing, W.P. de Roever and G. Rozenberg, Springer Verlag, Pages: 640\u2013675, 1991."},{"key":"9_CR37","unstructured":"Scholefield, D.J., and H.S.M. Zedan. \u201cTAM: A Formal Framework for the Development of Distributed Real-Time Systems.\u201d Formal Techniques in Real-Time and Fault-Tolerant Systems, Editor: J. Vytopil, Springer-Verlay, pp: 411\u2013428, 1992."},{"key":"9_CR38","unstructured":"J. Schot, \u201cThe Role of Architectural Semantics in the Formal Approach of Distributed Systems Design\u201d, ISBN 90-9004877-4, 1992."},{"key":"9_CR39","unstructured":"Sinderen, M.v., and J. Schot. \u201cAn Engineering Approach to ODP Design.\u201d International IFIP Workshop on Open Distributed Processing, Editor: Jan de Meer and Volker Heymer, 1991."},{"key":"9_CR40","doi-asserted-by":"crossref","unstructured":"J-B. Stefani, L. Hazard and F. Horn, \u201cComputational Model for Distributed Multimedia Applications based on a Synchronous Programming Language\u201d, Computer Communications (Special Issue on FDTs), Vol 15, Number 2, March 1992.","DOI":"10.1016\/0140-3664(92)90131-W"},{"key":"9_CR41","unstructured":"B. Walter, \u201cTimed Petri Nets for Modelling and Analyzing Protocols with Real-Time Characteristics\u201d, In H. Rudin (ed), Protocol Specification, Testing and Verification III, pp 149\u2013159, North-Holland, 1983."}],"container-title":["Lecture Notes in Computer Science","Multimedia Transport and Teleservices"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58759-4_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T03:23:21Z","timestamp":1640921001000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58759-4_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540587590","9783540490654"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/3-540-58759-4_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}