{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T19:04:01Z","timestamp":1648926241354},"reference-count":48,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1997,3,1]],"date-time":"1997-03-01T00:00:00Z","timestamp":857174400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Networks and ISDN Systems"],"published-print":{"date-parts":[[1997,3]]},"DOI":"10.1016\/s0169-7552(96)00109-2","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T02:57:10Z","timestamp":1027652230000},"page":"473-500","source":"Crossref","is-referenced-by-count":7,"title":["A specification architecture for multimedia systems in Open Distributed Processing"],"prefix":"10.1016","volume":"29","author":[{"given":"G.S.","family":"Blair","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Blair","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.B.","family":"Stefani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0169-7552(96)00109-2_BIB1","series-title":"Proc. 30th Ann. Symp. on Foundations of Computer Science","first-page":"164","article-title":"A really temporal logic","author":"Alur","year":"1989"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB2","series-title":"REX Workshop on Real-Time: Theory and Practice","first-page":"74","article-title":"Logics and models of real-time: A survey","volume":"Vol. 600","author":"Alur","year":"1991"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB3","article-title":"The ESTEREL synchronous programming language: Design, semantics, implementation","author":"Berry","year":"1988"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB4","series-title":"Proc. IFIP Congress","article-title":"Real-time programming: Special purpose of general purpose languages?","author":"Berry","year":"1989"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB5","article-title":"Formal specification and verification of distributed multimedia systems","author":"Blair","year":"1995"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB6","article-title":"A programming model and system infrastructure for real-time synchronisation in distributed multimedia systems","author":"Blair","year":"1995","journal-title":"J. Selected Areas Commun."},{"issue":"1","key":"10.1016\/S0169-7552(96)00109-2_BIB7","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","article-title":"Introduction to the ISO specification language LOTOS","volume":"14","author":"Bolognesi","year":"1988","journal-title":"Computer Networks ISDN Systems"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB8","series-title":"Proc. 4th Internat. Conf. Formal Description Techniques (FORTE '91)","article-title":"LOTOS-like process algebras with urgent or timed interactions","author":"Bolognesi","year":"1992"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB9","series-title":"Proc. 6th Internat. Conf. on Formal Description Techniques (FORTE '93)","first-page":"467","article-title":"Time versus abstraction in formal description","author":"Bowman","year":"1994"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB10","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0169-7552(87)90084-5","article-title":"An introduction to Estelle: A specification language for distributed systems","volume":"4","author":"Budkowski","year":"1987","journal-title":"Computer Networks ISDN Systems"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB11","author":"CCITT","year":"1988","journal-title":"Recommendation Z.100: Specification and Description Language SDL, AP IX-35"},{"issue":"2","key":"10.1016\/S0169-7552(96)00109-2_BIB12","article-title":"A LOTOS extension for the performance analysis of distributed systems","volume":"2","author":"Ciminiera","year":"1994","journal-title":"ACM Trans. Networking"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB13","author":"Fernandez","year":"1990"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB14","series-title":"Proc. 4th Internat. Conf. on Formal Description Techniques (FORTE '91)","first-page":"185","article-title":"Modelling dynamic communication structures in LOTOS","author":"Fredlund","year":"1992"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB15","author":"Garavel","year":"1990"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB16","article-title":"Time and probability in formal design of distributed systems","author":"Hansson","year":"1991"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB17","series-title":"Proc. 7th IEEE Symp. on Logic in Computer Science","article-title":"Symbolic model checking for real-time systems","author":"Henzinger","year":"1992"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB18","author":"Hoare","year":"1985"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB19","author":"ITU-T","year":"1995","journal-title":"ISO\/IEC Recommendation X.902, International Standard 10746-2, ODP Reference Model: Descriptive Model"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB20","author":"ITU-T","year":"1995","journal-title":"ISO\/IEC Recommendation X.903, Intermational Standard 10746-3, ODP Reference Model: Prescriptive Model"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB21","author":"ITU-T","year":"1995","journal-title":"ISO\/IEC Draft Recommendation X.904, International Standard N9035\/6, ODP Reference Model: Architectural Semantics"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB22","author":"ISO","year":"1988","journal-title":"LOTOS: A Formal Description Technique based on the Temporal Ordering of Observational Behaviour, ISO DP 8807"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB23","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","article-title":"Safety analysis of timing properties in real-time systems","author":"Jahanian","year":"1986","journal-title":"IEEE Trans. Software Engineering"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB24","series-title":"Proc. IFIP TC6 WG6.1 Internat. Conf. on Open Distributed Processing (ICODP'93)","first-page":"346","article-title":"Modelling Dynamic ODP-Configurations with LOTOS","volume":"20","author":"Koch","year":"1994"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB25","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF01995674","article-title":"Specifying real-time properties with metric temporal logic","volume":"2","author":"Koymans","year":"1990","journal-title":"Real-Time Systems"},{"issue":"3","key":"10.1016\/S0169-7552(96)00109-2_BIB26","doi-asserted-by":"crossref","first-page":"872","DOI":"10.1145\/177492.177726","article-title":"The temporal logic of actions","volume":"16","author":"Lamport","year":"1994","journal-title":"ACM Trans. Programming Languages and Systems"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB27","article-title":"Performance analysis and true concurrency semantics","author":"Langerak","year":"1994"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB28","series-title":"Proc. 6th Internat. Conf. on Formal Description Techniques (FORTE'93)","first-page":"483","article-title":"An enhanced version of timed LOTOS and its application to a case study","author":"L\u00e9onard","year":"1994"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB29","author":"Manna","year":"1992"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB30","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","article-title":"Conditional rewriting logic as a unified model of concurrency","volume":"96","author":"Meseguer","year":"1992","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0169-7552(96)00109-2_BIB31","series-title":"Proc. FORTE'92: 5th Internat. Conf. on Formal Description Techniques","article-title":"Extending LOTOS towards performance evaluation","author":"Miguel","year":"1992"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB32","author":"Milner","year":"1989"},{"issue":"1","key":"10.1016\/S0169-7552(96)00109-2_BIB33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","article-title":"A calculus of mobile processes, Parts I and II","volume":"100","author":"Milner","year":"1992","journal-title":"Inform. and Comput."},{"key":"10.1016\/S0169-7552(96)00109-2_BIB34","series-title":"Proc. 4th Internat. Conf. on Formal Description Techniques (FORTE'91)","first-page":"201","article-title":"Dynamic configuration in LOTOS","author":"Najm","year":"1992"},{"issue":"8","key":"10.1016\/S0169-7552(96)00109-2_BIB35","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1016\/0169-7552(94)00032-O","article-title":"A formal semantics for the ODP computational model","volume":"27","author":"Najm","year":"1995","journal-title":"Computer Networks ISDN Systems"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB36","article-title":"A formal semantics for the ODP computational model, with signals, explicit binding, and reactive objects","author":"Najm","year":"1995","journal-title":"CNET Tech. Report no NT\/PAA\/TSA\/TLR\/4187"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB37","series-title":"REX Workshop, Real-Time; Theory in Practice","first-page":"573","article-title":"Verification of safety critical systems Using TTMRTTL","volume":"Vol. 100","author":"Ostroff","year":"1991"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB38","article-title":"Architectural notes: A framework for distributed systems development","author":"Pires","year":"1994"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB39","series-title":"Proc. 18th Ann. Symp. on Foundations of Computer Science","first-page":"46","article-title":"The temporal logic of programs","author":"Pnueli","year":"1977"},{"issue":"4","key":"10.1016\/S0169-7552(96)00109-2_BIB40","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1016\/S0169-7552(97)83471-X","article-title":"On the role of abstract design concepts in specification structuring","volume":"29","author":"Quartel","year":"1996","journal-title":"Computer Networks ISDN Systems"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB41","year":"1992"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB42","article-title":"The role of architectural semantics in the formal approach of distributed systems design","author":"Schot","year":"1992"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB43","author":"Spivey","year":"1989"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB44","series-title":"Proc. 3rd Internat. Workshop on Responsive Computer Systems","article-title":"Some computational aspects of QoS in an object based distributed architecture","author":"Stefani","year":"1993"},{"issue":"4","key":"10.1016\/S0169-7552(96)00109-2_BIB45","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1016\/S0169-7552(96)00107-9","article-title":"Relating architecture in a communications context","volume":"29","author":"Turner","year":"1996","journal-title":"Computer Networks ISDN Systems"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB46","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0304-3975(90)90111-T","article-title":"Specification styles in distributed systems design and verification","volume":"89","author":"Vissers","year":"1991","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/S0169-7552(96)00109-2_BIB47","series-title":"Proc. Ist Internat. Conf. on ODP (ICODP'93)","article-title":"On ODP architectural semantics using LOTOS","author":"Vogel","year":"1993"},{"key":"10.1016\/S0169-7552(96)00109-2_BIB48","first-page":"119","article-title":"The tableau method for temporal logic: An overview","volume":"28","author":"Wolper","year":"1985","journal-title":"Logique et Analyse"}],"container-title":["Computer Networks and ISDN Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169755296001092?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169755296001092?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,14]],"date-time":"2019-04-14T02:20:41Z","timestamp":1555208441000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0169755296001092"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,3]]},"references-count":48,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1997,3]]}},"alternative-id":["S0169755296001092"],"URL":"https:\/\/doi.org\/10.1016\/s0169-7552(96)00109-2","relation":{},"ISSN":["0169-7552"],"issn-type":[{"value":"0169-7552","type":"print"}],"subject":[],"published":{"date-parts":[[1997,3]]}}}