{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T04:31:17Z","timestamp":1648614677494},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1994,5,1]],"date-time":"1994-05-01T00:00:00Z","timestamp":767750400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[1994,5]]},"DOI":"10.1007\/bf01088627","type":"journal-article","created":{"date-parts":[[2005,2,4]],"date-time":"2005-02-04T17:19:40Z","timestamp":1107537580000},"page":"243-262","source":"Crossref","is-referenced-by-count":5,"title":["Temporal modelling of real-time communication protocols based on a process\/channel approach"],"prefix":"10.1007","volume":"6","author":[{"given":"M. G.","family":"Rodd","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. F.","family":"Al-Rowaihi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"AL-Rowaihi, S., and Rodd, M. G. 1990. An object-oriented approach to the modelling of real-time software.Proc. 3rd IEE Int. Conf. on Soft. Eng. for Real-Time Systems, 69?72."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Barry, B. 1989. Prototyping a real-time embedded system in Smalltalk.Proc. Conf. on Object-Oriented Programming Systems, Languages and Applications, October 1?6: 255?265.","DOI":"10.1145\/74877.74904"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Booch, G. 1986. Object-oriented development.IEEE Trans. on Soft. Eng., SE-12(2).","DOI":"10.1109\/TSE.1986.6312937"},{"issue":"1","key":"CR4","first-page":"149","volume":"1","author":"B. Cox","year":"1984","unstructured":"Cox, B. 1984. Message\/object programming: An evolutionary change in programming technology.IEEE Software, 1(1):149?161.","journal-title":"IEEE Software"},{"key":"CR5","unstructured":"ISO 4649, Information Processing Systems?Open systems Relation?Service Definitions for the Association Control service Element."},{"key":"CR6","unstructured":"ISO 7498-1, Information Processing Systems?Open systems Interconnection?Basic Reference Model."},{"key":"CR7","unstructured":"ISO 8650, Information Processing Systems?Open Systems Interconnection?Protocol Specification for the Association Control Service Element."},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Motus, L., and Kaaramees, K. 1983. A model based design of distributed control system software.Proc. 4th IFAC Workshop on DCCS, 93?101. Pergamon Press.","DOI":"10.1016\/B978-0-08-028675-4.50025-8"},{"key":"CR9","unstructured":"Pascoe, G. 1986. Elements of object-oriented programming.Byte Magazine, August."},{"key":"CR10","unstructured":"Pehrson, B. 1990. Protocol verification for OSI computer networks and ISDN systems, Vol. 18, No. 3, April 1990, pp. 185?201."},{"key":"CR11","unstructured":"Peterson, James L. 1981.Petri Net & Modelling of Systems. Prentice-Hall."},{"key":"CR12","unstructured":"Quirk, W., and Gilbert, R. 1977. The formal specification of the requirements of complex real-time systems, Harwell, AERE, Report No. 8602."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Rodd, M. G., Izikowitz, I., and Muller, K. D. 1988. Real-time distributed control systems?A realistic perspective.Proc. 8th IFAC Workshop on DCCS, pp. 1?9. Pergamon Press.","DOI":"10.1016\/B978-0-08-036938-9.50006-6"},{"key":"CR14","unstructured":"Sajkowski, M. 1987.Protocol Verification in the Presence of Time, Protocol Specification, Testing, and Verification, VI, pp. 269?280. Elsevier Science Publishers B.V. (North-Holland)."},{"key":"CR15","unstructured":"Sidhu, D. P. 1983.Protocol Verification via Executable Logic Specification, Protocol Specification, Testing, and Verification, III. Elsevier Science Publishers B.V. (North-Holland)."},{"key":"CR16","unstructured":"STRAND88 1990.Users Manual. Buckingham Edition, AI Ltd, London."},{"issue":"5","key":"CR17","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1109\/32.52775","volume":"16","author":"T. Suzuki","year":"1990","unstructured":"Suzuki, T., Shatz, S., and Murata, T. 1990. A protocol modelling and verification approach based on a specification language and petri nets.IEE Trans. on Soft. Eng., 16(5):523?536.","journal-title":"IEE Trans. on Soft. Eng."}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088627.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01088627\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088627","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T15:46:32Z","timestamp":1586101592000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01088627"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,5]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,5]]}},"alternative-id":["BF01088627"],"URL":"https:\/\/doi.org\/10.1007\/bf01088627","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,5]]}}}