{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T04:08:25Z","timestamp":1649218105117},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1995,11,1]],"date-time":"1995-11-01T00:00:00Z","timestamp":815184000000},"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":[[1995,11]]},"DOI":"10.1007\/bf01088808","type":"journal-article","created":{"date-parts":[[2005,2,4]],"date-time":"2005-02-04T18:17:06Z","timestamp":1107541026000},"page":"265-287","source":"Crossref","is-referenced-by-count":6,"title":["On tasks synchronization with the MMS protocol"],"prefix":"10.1007","volume":"9","author":[{"given":"Justin N.","family":"Akazan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoubir","family":"Mammeri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Allen, J. F., 1983, Maintaining knowledge about temporal intervals,Communications of the ACM, vol. 26, No. 11.","DOI":"10.1145\/182.358434"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Brill, M., and Gramm, U., 1991. MMS: MAP application services for the manufacturing industry,Computer Networks and ISDN systems no. 21 pp. 357?380.","DOI":"10.1016\/0169-7552(91)90009-2"},{"key":"CR3","unstructured":"Cassidy, C. J. 1990. Mastering communications using the Manufacturing Message Specification,2nd International conference on factory and material flow, Cambridge, U.K., pp. 44?48."},{"issue":"2","key":"CR4","first-page":"1","volume":"3","author":"C.C. Cheng","year":"1989","unstructured":"Cheng, C.C., Stankovic, J.A. and Ramamrithan, K. 1989. Scheduling algorithms for hard real-time systems,Real-time systems Newsletter 3(2):1?24.","journal-title":"Real-time systems Newsletter"},{"issue":"1","key":"CR5","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1109\/TSE.1985.231845","volume":"11","author":"B. Dasarathy","year":"1985","unstructured":"Dasarathy, B. 1985. Timing constraints of real-time systems. Constructs for expressing them, methods of validating them.IEEE T.S.E. 11(1): 80?86.","journal-title":"IEEE T.S.E."},{"key":"CR6","volume-title":"Cooperating Sequential Processe In Programming languages","author":"E. W. Dijkstra","year":"1968","unstructured":"Dijkstra, E. W. 1968.Cooperating Sequential Processe In Programming languages, Academic Press, NY."},{"key":"CR7","unstructured":"Galton, A.P. 1987. Temporal logics and their applications. Academic Press London. ISO-9506. 1990.Manufacturing Message Specification."},{"key":"CR8","unstructured":"ISO. 1991. Interim report of the TCCA Rapporteurs group of ISO\/TC 184\/SC 5\/WG2 on time-critical Communications Architecture and System.ISO\/TC 184\/SC 5\/WG 2 N254. April 24."},{"key":"CR9","unstructured":"Kinoshita, T., Takata, M. and Matsuka, H. 1992. MAP Event Management System,IMACS\/SICE RMMS'92, Kobe, Japan, 16?20 Sept. pp. 1519?1524."},{"key":"CR10","unstructured":"Lee, I., and Davidson, S. B. 1987. Adding time to synchronous process communications,IEEE transactions on computers vol. c-36. No. 8. August, pp. 941?948."},{"issue":"2","key":"CR11","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1017\/S0269888900004896","volume":"4","author":"D. Long","year":"1989","unstructured":"Long, D. 1989. A review of temporal logic.The Knowledge Engineering Review, 4(2): 37?63.","journal-title":"The Knowledge Engineering Review"},{"key":"CR12","first-page":"215","volume-title":"The correctness problem in computer science","author":"Z. Manna","year":"1981","unstructured":"Manna, Z., and Pneuli, A. 1981. Verification of concurrent programs: the temporal framework. in: Boyer and More (Eds.),The correctness problem in computer science, pp. 215?273. Academic press London."},{"key":"CR13","unstructured":"Menden, R. 1992. Basic information on Profibus.Ed. Klockner-Moeller Bonn."},{"key":"CR14","unstructured":"Mok, A. 1983. Fundamental design problems of distributed systems for the hard real-time environment.PhD Thesis, MIT, May."},{"key":"CR15","unstructured":"Nussbaumer, H. 1993. Messagerie Industrielle MMS, Journ\u00e9es temps r\u00e9el, ENSAM, Cluny France."},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"Panzieri, F., and Davoli, R. 1993. Real-time systems : a tutorial.Performance evaluation of computer and communication systems. LNCS (729): 435?462.","DOI":"10.1007\/BFb0013863"},{"key":"CR17","volume-title":"Communication Networks for manufacturing","author":"J. R. Pimentel","year":"1990","unstructured":"Pimentel, J. R. 1990.Communication Networks for manufacturing, Prentice Hall, Englewood Cliffs."},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Rajkumar, R. 1991. Synchronization in real-time systems, a priority inherenceapproach.Kluwer academic publishers.","DOI":"10.1007\/978-1-4615-4000-7"},{"key":"CR19","unstructured":"Richner, T. 1992. MMS Event Management Analysis and Design, Internal Report, EPFL-LIT."},{"key":"CR20","unstructured":"Richner, T., Castori, P. and Pleinevaux, P. 1993. Architecture of an MMS Event Manager,COMPEURO'93, IEEE computer society, Evry, France, 23?25 May, pp. 439?444."},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"Rodd, M.G., and Al-rowaihi, S.F. 1994. Temporal modelling of real-time communicationprotocols based on a processor\/channel approach.Real-time systems journal (6): 243?262.","DOI":"10.1007\/BF01088627"},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"Sprunt, B., Sha, L., and Lehoczky, J.-P. 1989. Aperiodic Task Scheduling for Hard Real-Time Systems.Journal of Real-Time Systems (1): 27?60.","DOI":"10.1007\/BF02341920"},{"key":"CR23","unstructured":"Sha, L., Sathaye, S.S., and Strosnider, J.K. 1992. Scheduling realt-time communication on dual-link networks.Proceedings IEEE Real-time systems symposium. Phoenix, Arizona, December, pp. 188?197."},{"key":"CR24","doi-asserted-by":"crossref","unstructured":"Tindell, K., Burns, A., and Wellings, A. 1992. Allocating Hard Real-Time Tasks: An NP-Hard Problem Made Easy. Journal of Real-Time Systems (4): 145?65.","DOI":"10.1007\/BF00365407"},{"key":"CR25","doi-asserted-by":"crossref","unstructured":"Tripathi, S.K., and Nirkhe, V. 1991. Pre-scheduling for synchronization in hard real-time systems.Operating systems of the 90s and beyond. LNCS(653): 102?108.","DOI":"10.1007\/BFb0024531"},{"key":"CR26","unstructured":"Union Technique de l'Electricit\u00e9. 1990. FIP: Application layer and data link layer. UTE. Paris."},{"key":"CR27","doi-asserted-by":"crossref","unstructured":"Xu, J., and Parnas, D.L. 1991. On satisfying timing constraints in hard-real-time systems,Proc. of the ACM SIGSOFT'91 Conf. on Soft. for Critical Systems. New Orleans, December, pp. 132?146.","DOI":"10.1145\/125083.123066"},{"key":"CR28","unstructured":"Zheng, Q., and Shin, K.G. 1992. Fault-tolerant real-time communication in distributed computing systems.22nd Intern. Sympo. on Fault-tolerant computing. Boston. October, pp. 86?93."}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088808.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01088808\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088808","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T15:49:08Z","timestamp":1586101748000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01088808"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,11]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,11]]}},"alternative-id":["BF01088808"],"URL":"https:\/\/doi.org\/10.1007\/bf01088808","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,11]]}}}