{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,24]],"date-time":"2024-12-24T05:03:53Z","timestamp":1735016633688,"version":"3.32.0"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1993,3,1]],"date-time":"1993-03-01T00:00:00Z","timestamp":730944000000},"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":[[1993,3]]},"DOI":"10.1007\/bf01088697","type":"journal-article","created":{"date-parts":[[2005,2,7]],"date-time":"2005-02-07T07:56:06Z","timestamp":1107762966000},"page":"63-87","source":"Crossref","is-referenced-by-count":14,"title":["RTC: Language support for real-time concurrency"],"prefix":"10.1007","volume":"5","author":[{"given":"Victor Fay","family":"Wolfe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susan","family":"Davidson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Abbott, R. and Garcia-Molina, H. 1988. Scheduling real-time transactions: A performance evaluation. InProc. of the 14th Very Large Database Conference, August."},{"key":"CR2","volume-title":"Concurrency Control and Recovery in Database Systems","author":"P. Bernstein","year":"1986","unstructured":"Bernstein, P., Hadzilacos, V. and Goodman, N. 1986.Concurrency Control and Recovery in Database Systems. Reading, MA: Addison-Wesley."},{"key":"CR3","unstructured":"Berry, G., Moisan, S. and Rigault, J. 1983. ESTEREL: Towards a synchronous and semantically sound high level language for real-tine applications. InProc. of the IEEE Real-Time Systems Symposium, December."},{"key":"CR4","unstructured":"Baker, T. and Pazy, O. 1991. Real-time features for Ada 9x. InProc. of the IEEE Real-Time Systems Symposium, December."},{"issue":"1","key":"CR5","first-page":"9","volume":"6","author":"W. Corwin","year":"1990","unstructured":"Corwin, W., Locke, D., and Gordon, K. 1990. Overview of the IEEE POSIX P1003.4 real-time extension to POSIX.Proc. of the IEEE Real-Time Systems Newsletter, 6(1):9?18.","journal-title":"Proc. of the IEEE Real-Time Systems Newsletter"},{"key":"CR6","unstructured":"Davidson, S., Lee, I. and Wolfe, V. 1992. Deadlock prevention in concurrent real-time systems. Submitted toReal-Time Systems, 1992."},{"key":"CR7","unstructured":"Funda, J. 1991. Teleprogramming: Overcoming communication delays in remote manipulation. Ph.D. thesis, Department of Computer and Information Science, University of Pennsylvania."},{"issue":"2","key":"CR8","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1145\/319983.319985","volume":"8","author":"H. Garcia-Molina","year":"1983","unstructured":"Garcia-Molina, H. 1983. Using semantic knowledge for transaction processing in a distributed database system.ACM Transactions on Database Systems, 8(2):186?213.","journal-title":"ACM Transactions on Database Systems"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Gheith, A. and Schwan, K. 1989. Chaosart: Support for real-time atomic transactions. InProc. of the Nineteenth International Symposium on Fault-Tolerant Computing, pp. 462?469, June.","DOI":"10.1109\/FTCS.1989.105620"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF01995678","volume":"2","author":"W. Halang","year":"1990","unstructured":"Halang, W. and Stoyenko, A. 1990. Comparative evaluation of high level real-time programming languages.Real-Time Systems, 2:365?382.","journal-title":"Real-Time Systems"},{"key":"CR11","unstructured":"Huang, J., Stankovic, J., Towsley, D. and Ramamritham, K. 1991. Experimental evaluation of real-time optimistic concurrency control schemes. InProc. of the 17th Very Large Database Conference, April."},{"key":"CR12","unstructured":"Ishikawa, Y., Tokuda, H. and Mercer, C. 1990. Object-oriented real-time language design: Constructs for timing constraints. Technical Report CMU-CS-90-111, Carnegie Mellon University, March 1990."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Carey, M., Harista, J. and Livny, M. 1990. Dynamic optimistic concurrency control. InProc. of the IEEE Real-Time Systems Symposium, December.","DOI":"10.1109\/REAL.1990.128734"},{"key":"CR14","unstructured":"King, R., 1991. Design, Implementation, and Evaluation of a Real-Time Kernel for Distributed Robotics. Ph.D. thesis, Department of Computer and Information Science, University of Pennsylvania."},{"issue":"4","key":"CR15","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1145\/45075.46163","volume":"19","author":"E. Knapp","year":"1987","unstructured":"Knapp, E. 1987. Deadlock detection in distributed databases.ACM Computing Surveys, 19(4):304?328.","journal-title":"ACM Computing Surveys"},{"key":"CR16","unstructured":"Korth, H. 1990. Triggered real-time databases. InProc. of the 16th Very Large Database Conference, August."},{"issue":"9","key":"CR17","doi-asserted-by":"crossref","first-page":"941","DOI":"10.1109\/TSE.1986.6313049","volume":"SE-12","author":"E. Klingerman","year":"1986","unstructured":"Klingerman, E. and Stoyenko, A. 1986. Real-time Euclid: A language for reliable real-time systems.IEEE Transactions on Software Engineering, SE-12(9):941?949.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR18","unstructured":"Kim, W. and Srvastava, J. 1991. Enhancing real-time DMBS performance with multiversion data and priority-based disk scheduling. InProc. of the IEEE Real-Time Systems Symposium, December."},{"key":"CR19","unstructured":"Lee, I. and Gehlot, V. 1985. Language constructs for distributed real-time programming. InProc. of the IEEE Real-Time Systems Symposium, December."},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"Lin, K. 1989. Consistency issues in real-time database systems. InProc. of the 22nd Hawaii International Conference on System Science, January.","DOI":"10.1109\/HICSS.1989.48069"},{"issue":"3","key":"CR21","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1145\/42392.42399","volume":"31","author":"B. Liskov","year":"1988","unstructured":"Liskov, B. 1988. Distributed programming in Argus.Communications of the ACM, 31(3):300?312.","journal-title":"Communications of the ACM"},{"key":"CR22","unstructured":"Lin, K. and Natarajan, S. 1988. Expressing and maintaining timing constraints in FLEX. InProc. of the IEEE Real-Time Systems Symposium, pp. 96?105, December."},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"Lin, Y. and Son, S. 1990. Concurrency control in real-time databases by dynamic adjustment of serialization order. InProc. of the IEEE Real-Time Systems Symposium, December 1990.","DOI":"10.1109\/REAL.1990.128735"},{"issue":"4","key":"CR24","doi-asserted-by":"crossref","first-page":"484","DOI":"10.1145\/319996.319999","volume":"8","author":"N. Lynch","year":"1983","unstructured":"Lynch, N. 1983. Multilevel concurrency?a new correctness criterion for database concurrency control.ACM Transactions on Database Systems, 8(4):484?502.","journal-title":"ACM Transactions on Database Systems"},{"key":"CR25","volume-title":"Nested Transactions, An Approach to Reliable Distributed Computing","author":"E. Moss","year":"1985","unstructured":"Moss, E. 1985.Nested Transactions, An Approach to Reliable Distributed Computing. Cambride, MA: MIT Press."},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"Nirkhe, V., Tripathi, S. and Agrawala, A. 1990. Language support for the Maruti real-time system. InProc. of the IEEE Real-Time Systems Symposium, pp. 257?266, December.","DOI":"10.1109\/REAL.1990.128756"},{"key":"CR27","unstructured":"Rajkumar, R. 1989. Task Synchronization in real-time systems. Ph.D. thesis, Carnegie Mellon University, 1989."},{"key":"CR28","unstructured":"Stoyenko, A. and Marlow, T. 1992. Polynomial time transformations and schedulability analysis of parallel real-time programs with restricted resource contention. To appear in Real-Time Systems, 4(4), 1992."},{"issue":"3","key":"CR29","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1145\/71021.71024","volume":"23","author":"J. Stankovic","year":"1989","unstructured":"Stankovic, J. and Ramamritham, K. 1989. The Spring kernel: A new paradigm for real-time operating systems.ACM Operating Systems Review, 23(3):54?71.","journal-title":"ACM Operating Systems Review"},{"issue":"7","key":"CR30","doi-asserted-by":"crossref","first-page":"793","DOI":"10.1109\/12.83617","volume":"40","author":"L. Sha","year":"1991","unstructured":"Sha, L., Rajkumar, R., Son, S. and Chang, C. 1991. A real-time locking protocol.IEEE Transactions on Computers, 40(7):793?800.","journal-title":"IEEE Transactions on Computers"},{"key":"CR31","unstructured":"Tokuda, H. 1985. Compensatable atomic objects in object-oriented operating systems. InProc. of the Pacific Computer Communication Symposium, October."},{"issue":"12","key":"CR32","doi-asserted-by":"crossref","first-page":"1488","DOI":"10.1109\/12.9728","volume":"37","author":"W. Weihl","year":"1988","unstructured":"Weihl, W. 1988. Commutativity-based concurrency control for abstract data types.IEEE Transactions on Computers, 37(12):1488?1505.","journal-title":"IEEE Transactions on Computers"},{"key":"CR33","unstructured":"Wolfe, V. 1991. Supporting Real-Time Concurrency. Ph.D. thesis, Department of Computer and Information Science, University of Pennsylvania, 1991. Technical Report MS-CIS-91-55."}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088697.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01088697\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088697","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,23]],"date-time":"2024-12-23T04:26:00Z","timestamp":1734927960000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01088697"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,3]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993,3]]}},"alternative-id":["BF01088697"],"URL":"https:\/\/doi.org\/10.1007\/bf01088697","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[1993,3]]}}}