{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T19:56:25Z","timestamp":1649102185350},"reference-count":38,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1994,3,1]],"date-time":"1994-03-01T00:00:00Z","timestamp":762480000000},"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 Languages"],"published-print":{"date-parts":[[1994,3]]},"DOI":"10.1016\/0096-0551(94)90011-6","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T19:04:53Z","timestamp":1060283093000},"page":"1-23","source":"Crossref","is-referenced-by-count":1,"title":["RT-CDL: A distributed real-time design language and its operational semantics"],"prefix":"10.1016","volume":"20","author":[{"given":"Leo YuHsiang","family":"Liu","sequence":"first","affiliation":[]},{"given":"R.K","family":"Shyamasundar","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0096-0551(94)90011-6_BIB1","series-title":"COINS Technical Report","article-title":"Real-Time Computing Systems: The Next Generation","author":"Stankovic","year":"1988"},{"key":"10.1016\/0096-0551(94)90011-6_BIB2","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1109\/TSE.1985.231845","article-title":"Timing constraints of real-time systems: constructs for expressing them, methods of validating them","volume":"1","author":"Dasarathy","year":"1985","journal-title":"IEEE Trans. Software Eng. SE-11"},{"key":"10.1016\/0096-0551(94)90011-6_BIB3","year":"1983","journal-title":"American National Standards Institute\/MIL-STD-1815A"},{"key":"10.1016\/0096-0551(94)90011-6_BIB4","series-title":"Programming in OCCAM","author":"Jones","year":"1985"},{"key":"10.1016\/0096-0551(94)90011-6_BIB5","series-title":"Fifth Int. Workshop on Software Specification Design","first-page":"75","article-title":"An operational semantics of real time design language RT-CDL","author":"Liu","year":"1989"},{"key":"10.1016\/0096-0551(94)90011-6_BIB6","series-title":"11th World Comput. Congress, IFIP'89","first-page":"21","article-title":"RT-CDL: a real time design language and its semantics","author":"Liu","year":"1989"},{"key":"10.1016\/0096-0551(94)90011-6_BIB7","series-title":"Information Processing 86","first-page":"845","article-title":"Specification and development of reactive systems","author":"Pnueli","year":"1986"},{"key":"10.1016\/0096-0551(94)90011-6_BIB8","series-title":"Formal Description of Programming Concepts\u2014II","first-page":"199","article-title":"An operational semantics for CSP","author":"Plotkin","year":"1983"},{"key":"10.1016\/0096-0551(94)90011-6_BIB9","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/0096-0551(90)90010-M","article-title":"Exception handling in RT-CDL","volume":"5","author":"Liu","year":"1990","journal-title":"Comput. Lang."},{"key":"10.1016\/0096-0551(94)90011-6_BIB10","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1145\/359763.359798","article-title":"Towards a discipline of real-time programming","volume":"20","author":"Wirth","year":"1977","journal-title":"Commun. ACM"},{"key":"10.1016\/0096-0551(94)90011-6_BIB11","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0890-5401(88)90020-X","article-title":"Compositional semantics for real-time distributed computing","volume":"79","author":"Koymans","year":"1988","journal-title":"Inform. Comput."},{"key":"10.1016\/0096-0551(94)90011-6_BIB12","article-title":"A review of Ada tasking","volume":"262","author":"Burns","year":"1987","journal-title":"LNCS"},{"key":"10.1016\/0096-0551(94)90011-6_BIB13","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1109\/TC.1987.1676927","article-title":"Timing issues in the distributed execution of Ada programs","author":"Voltz","year":"1987","journal-title":"IEEE Trans. Comput. C-36"},{"key":"10.1016\/0096-0551(94)90011-6_BIB14","series-title":"IEEE Real-Time Systems Symp.","first-page":"3","article-title":"An assessment of the real-time requirements for programming environments and languages","author":"Gligor","year":"1983"},{"key":"10.1016\/0096-0551(94)90011-6_BIB15","first-page":"3","article-title":"Modula\u2014A language for modular multiprogramming","volume":"7.1","author":"Wirth","year":"1977","journal-title":"Software\u2014Practice and Experience"},{"issue":"9","key":"10.1016\/0096-0551(94)90011-6_BIB16","doi-asserted-by":"crossref","first-page":"941","DOI":"10.1109\/TSE.1986.6313049","article-title":"Real-time Euclid: a language for reliable real-time systems","author":"Kligerman","year":"1986","journal-title":"IEEE Trans. Software Eng. SE-12"},{"key":"10.1016\/0096-0551(94)90011-6_BIB17","doi-asserted-by":"crossref","first-page":"977","DOI":"10.1109\/32.31354","article-title":"Language constructs for specifying concurrency in CDL","volume":"15","author":"Shyamasundar","year":"1989","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0096-0551(94)90011-6_BIB18","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1145\/775323.775324","article-title":"The non-problem of nested monitor calls","volume":"12","author":"Parnas","year":"1978","journal-title":"ACM Operating Systems Rev."},{"key":"10.1016\/0096-0551(94)90011-6_BIB19","series-title":"IEEE Real-Time Systems Symp.","first-page":"30","article-title":"ESTEREL: towards a synchronous and semantically sound high level language for real time applications","author":"Berry","year":"1983"},{"key":"10.1016\/0096-0551(94)90011-6_BIB20","first-page":"389","article-title":"The ESTEREL synchronous programming language and its mathematical semantics","volume":"197","author":"Berry","year":"1984","journal-title":"LNCS"},{"key":"10.1016\/0096-0551(94)90011-6_BIB21","series-title":"Proc. Symp. Logic Comput. Sci.","first-page":"54","article-title":"On the formal semantics of statecharts","author":"Harel","year":"1987"},{"key":"10.1016\/0096-0551(94)90011-6_BIB22","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts: a visual formalism for complex systems","volume":"8","author":"Harel","year":"1987","journal-title":"Sci. Comput. Prog."},{"key":"10.1016\/0096-0551(94)90011-6_BIB23","first-page":"511","article-title":"Applications of temporal logic to the specification and verification of reactive systems","volume":"224","author":"Pnueli","year":"1986","journal-title":"A Survey of Current Trends, LNCS"},{"key":"10.1016\/0096-0551(94)90011-6_BIB24","series-title":"Petri Net Theory and the Modeling of Systems","author":"Peterson","year":"1981"},{"key":"10.1016\/0096-0551(94)90011-6_BIB25","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","article-title":"A Calculus of Communicating Systems","author":"Milner","year":"1980"},{"key":"10.1016\/0096-0551(94)90011-6_BIB26","series-title":"Symp. Formal Techniques Real-Time Fault-Tolerant Systems","first-page":"84","article-title":"Applications of temporal logic to the specification of real time systems","volume":"331","author":"Pnueli","year":"1988"},{"key":"10.1016\/0096-0551(94)90011-6_BIB27","article-title":"A Compositional Proof-System for an Occam-like Real-Time Language","author":"Hooman","year":"1987"},{"key":"10.1016\/0096-0551(94)90011-6_BIB28","first-page":"29","article-title":"A introduction to compositional methods for concurrency and their application to real-time, SADHANA","volume":"17","author":"Hooman","year":"1992"},{"key":"10.1016\/0096-0551(94)90011-6_BIB29","first-page":"75","article-title":"Compositional priority specification in real-time distributed systems, SADHANA","volume":"17","author":"Liu","year":"1992"},{"key":"10.1016\/0096-0551(94)90011-6_BIB30","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1145\/69624.357207","article-title":"Specifying concurrent program modules","volume":"5","author":"Lamport","year":"1983","journal-title":"ACM Trans. Prog. Lang. Systems"},{"key":"10.1016\/0096-0551(94)90011-6_BIB31","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.1981.230844","article-title":"Proofs of networks of processes","volume":"SE-7","author":"Misra","year":"1981","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0096-0551(94)90011-6_BIB32","first-page":"443","article-title":"An interval-based temporal logic","volume":"164","author":"Schwartz","year":"1984","journal-title":"LNCS"},{"key":"10.1016\/0096-0551(94)90011-6_BIB33","unstructured":"Liu, L. Y. and Shyamasundar, R. K. A Formal Specification of an Elevator System, CS-87, 21. Department o"},{"key":"10.1016\/0096-0551(94)90011-6_BIB34","unstructured":"Liu, L. Y. Paradigms for the specification, design, and verification of real-time distribute systems. Ph.D. Thesis, Department of Computer Science, Pennsylvania State University, State College, PA 16802."},{"key":"10.1016\/0096-0551(94)90011-6_BIB35","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1109\/32.54290","article-title":"Static analysis of real-time distributed systems","volume":"16","author":"Liu","year":"1990","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0096-0551(94)90011-6_BIB36","series-title":"Fifth ACM-IEEE Int. Workshop Software Specification Design","first-page":"91","article-title":"Proof systems for real-time distributed programming","author":"Shyamasundar","year":"1989"},{"key":"10.1016\/0096-0551(94)90011-6_BIB37","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0304-3975(84)90022-7","article-title":"A linear-history semantics for languages for distributed programming","volume":"32","author":"Francez","year":"1984","journal-title":"Theoretical Comput. Sci."},{"key":"10.1016\/0096-0551(94)90011-6_BIB38","series-title":"ACM Symp. Principles Programming Lang","article-title":"Full abstraction of a real-time denotational semantics for an OCCAM-like language","author":"Huizing","year":"1986"}],"container-title":["Computer Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0096055194900116?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0096055194900116?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T03:26:38Z","timestamp":1552620398000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0096055194900116"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["0096055194900116"],"URL":"https:\/\/doi.org\/10.1016\/0096-0551(94)90011-6","relation":{},"ISSN":["0096-0551"],"issn-type":[{"value":"0096-0551","type":"print"}],"subject":[],"published":{"date-parts":[[1994,3]]}}}