{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T07:59:18Z","timestamp":1648972758043},"reference-count":43,"publisher":"Elsevier BV","issue":"3-4","license":[{"start":{"date-parts":[[1991,10,1]],"date-time":"1991-10-01T00:00:00Z","timestamp":686275200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":7962,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Logic Programming"],"published-print":{"date-parts":[[1991,10]]},"DOI":"10.1016\/0743-1066(91)90028-n","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T03:47:32Z","timestamp":1027655252000},"page":"243-270","source":"Crossref","is-referenced-by-count":10,"title":["Constraint logic programming for reasoning about discrete event processes"],"prefix":"10.1016","volume":"11","author":[{"given":"J.S.","family":"Ostroff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"9","key":"10.1016\/0743-1066(91)90028-N_BIB1","doi-asserted-by":"crossref","first-page":"879","DOI":"10.1109\/TSE.1986.6313044","article-title":"rt-aslan: A Specification Language for Real-Time Systems","volume":"SE-12","author":"Auernheimer","year":"1986","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0743-1066(91)90028-N_BIB2","series-title":"Logics of Programs","first-page":"1","article-title":"Nonclausal Temporal Deduction","volume":"193","author":"Abadi","year":"1985"},{"key":"10.1016\/0743-1066(91)90028-N_BIB3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1067627.806585","article-title":"Proving Real-Time Properties of Programs with Temporal Logic","author":"Bernstein","year":"1981","journal-title":"Proceedings of ACM SIGOPS 8th annual ACM Symposium on Operating Systems Principles"},{"issue":"2","key":"10.1016\/0743-1066(91)90028-N_BIB4","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1109\/9.381","article-title":"Principles and Engineering of Process Control with Petri Nets","volume":"33","author":"Brand","year":"1988","journal-title":"IEEE Trans. Automat. Control"},{"key":"10.1016\/0743-1066(91)90028-N_BIB5","series-title":"A Computational Logic Handbook","author":"Boyer","year":"1988"},{"issue":"No. 9","key":"10.1016\/0743-1066(91)90028-N_BIB6","article-title":"Opening the Prolog-III Universe","volume":"12","author":"Colmerauer","year":"1987","journal-title":"Byte Mag."},{"key":"10.1016\/0743-1066(91)90028-N_BIB7","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. Programming"},{"key":"10.1016\/0743-1066(91)90028-N_BIB8","series-title":"Constraint Satisfaction in Logic Programming","author":"Van Hentenryck","year":"1989"},{"key":"10.1016\/0743-1066(91)90028-N_BIB9","series-title":"Communicating Sequential Processes","author":"Hoare","year":"1985"},{"key":"10.1016\/0743-1066(91)90028-N_BIB10","series-title":"Technical Report TR-88-919","article-title":"A Temporal Logic Based Compositional Proof System for Real-Time Message Passing","author":"Hooman","year":"1988"},{"key":"10.1016\/0743-1066(91)90028-N_BIB11","article-title":"Constraint Logic Programming","author":"Jaffar","year":"1987","journal-title":"Proceedings of ACM Symposium on Principles of Programming Languages"},{"issue":"9","key":"10.1016\/0743-1066(91)90028-N_BIB12","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","article-title":"Safety Analysis of Timing Properties in Real-Time Systems","volume":"SE-12","author":"Jahanian","year":"1986","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0743-1066(91)90028-N_BIB13","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1145\/800221.806721","article-title":"Real-Time Programming and Asynchronous Message Passing","author":"Koymans","year":"1983","journal-title":"Proceedings of the 2nd Annual Symposium on Principles of Distributed Computing"},{"issue":"1","key":"10.1016\/0743-1066(91)90028-N_BIB14","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0005-1098(84)90068-2","article-title":"A Software Architecture for Distributed Computer Control Systems","volume":"20","author":"Kramer","year":"1984","journal-title":"Automatica"},{"key":"10.1016\/0743-1066(91)90028-N_BIB15","article-title":"Compositional Semantics for Real-time Distributed Computing","volume":"193","author":"Koymans","year":"1985"},{"key":"10.1016\/0743-1066(91)90028-N_BIB16","series-title":"Internat. Ser. Comput. Sci.","article-title":"Occam Programming Manual","author":"INMOS Limited","year":"1984"},{"issue":"3","key":"10.1016\/0743-1066(91)90028-N_BIB17","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1109\/TSE.1987.233170","article-title":"Safety Analysis Using Petri Nets","volume":"SE-13","author":"Leveson","year":"1987","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0743-1066(91)90028-N_BIB18","series-title":"Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems","first-page":"36","article-title":"Timed Acceptances: A Model of Time Dependent Processes","volume":"331","author":"Lee","year":"1988"},{"key":"10.1016\/0743-1066(91)90028-N_BIB19","first-page":"162","article-title":"parede: An Automated Tool for the Analysis of Time(d) Petri Nets","author":"Menasche","year":"1985","journal-title":"IEEE Comput Soc."},{"issue":"2","key":"10.1016\/0743-1066(91)90028-N_BIB20","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1145\/3318.3322","article-title":"circal and- the Representation of Communication, Concurrency and Time","volume":"7","author":"Milne","year":"1985","journal-title":"ACM Trans. Programming Languages and Systems"},{"issue":"6","key":"10.1016\/0743-1066(91)90028-N_BIB21","doi-asserted-by":"crossref","first-page":"663","DOI":"10.1109\/32.24720","article-title":"Constructing Distributed Systems in Conic","volume":"15","author":"Magee","year":"1989","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0743-1066(91)90028-N_BIB22","first-page":"125","article-title":"Expressing Requirements for Distributed Real-Time Systems","author":"MacEwen","year":"1987","journal-title":"Abstracts of the IEEE Computer Society: 4th Workshop on Real-Time Operating Systems"},{"issue":"2","key":"10.1016\/0743-1066(91)90028-N_BIB23","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1985.1662795","article-title":"A Temporal Logic for Multilevel Reasoning about Hardware","volume":"18","author":"Moszkowski","year":"1985","journal-title":"Computer"},{"key":"10.1016\/0743-1066(91)90028-N_BIB24","first-page":"141","article-title":"How to Cook a Temporal Proof System for Your Pet Language","author":"Manna","year":"1983","journal-title":"Proceedings of the Symposium on Principles of Programming Languages"},{"key":"10.1016\/0743-1066(91)90028-N_BIB25","doi-asserted-by":"crossref","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","article-title":"Recoverability of Communication Protocols\u2014Implications of a Theoretical Study","author":"Merlin","year":"1976","journal-title":"IEEE Trans. Comm."},{"key":"10.1016\/0743-1066(91)90028-N_BIB26","series-title":"Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems","first-page":"36","article-title":"Using Higher-Order Logic for Modular Specification of Real-Time Distributed Systems","volume":"331","author":"MacEwen","year":"1988"},{"key":"10.1016\/0743-1066(91)90028-N_BIB27","first-page":"86","article-title":"Specification of Real-Time Systems in Real-Time Temporal Interval Logic","author":"Narayana","year":"1988","journal-title":"IEEE Computer Soc."},{"key":"10.1016\/0743-1066(91)90028-N_BIB28","series-title":"Adv. Software Development Ser.","article-title":"Temporal Logic for Real-Time Systems","author":"Ostroff","year":"1989"},{"issue":"No. 2","key":"10.1016\/0743-1066(91)90028-N_BIB29","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1109\/71.80145","article-title":"Deciding Properties of Timed Transition Models","volume":"Volume 1","author":"Ostroff","year":"1990","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"10.1016\/0743-1066(91)90028-N_BIB30","first-page":"124","article-title":"Modelling, Specifying and Verifying Real-Time Embedded Computer Systems","author":"Ostroff","year":"1987","journal-title":"Proceedings of the 8th IEEE Real-Time Systems Symposium"},{"issue":"No. 4","key":"10.1016\/0743-1066(91)90028-N_BIB31","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1109\/9.52290","article-title":"A Framework for Real-Time Discrete Event Control","volume":"Volume 35","author":"Ostroff","year":"1990","journal-title":"IEEE Trans. on Automatic Control"},{"key":"10.1016\/0743-1066(91)90028-N_BIB32","first-page":"46","article-title":"The Temporal Logic of Programs","author":"Pnueli","year":"1977","journal-title":"Proceedings of the 18th IEEE Annual Symposium on the Foundations of Computer Science"},{"key":"10.1016\/0743-1066(91)90028-N_BIB33","series-title":"Current Trends in Concurrency","article-title":"Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends","author":"Pnueli","year":"1986"},{"key":"10.1016\/0743-1066(91)90028-N_BIB34","series-title":"Verification and Validation of Real-Time Software","author":"Quirk","year":"1985"},{"key":"10.1016\/0743-1066(91)90028-N_BIB35","series-title":"Technical Report MAC TR 120","article-title":"Analysis of Asynchronous Concurrent Systems by Timed Petri Nets","author":"Ramchamdani","year":"1974"},{"key":"10.1016\/0743-1066(91)90028-N_BIB36","article-title":"Performance Analysis of Timed Petri Nets","author":"Razouk","year":"1984","journal-title":"Proceedings of 4th International Workshop on Protocol Verification and Testing"},{"key":"10.1016\/0743-1066(91)90028-N_BIB37","series-title":"Proceedings ICALP 86","article-title":"A Timed Model for Communicating Sequential Processes","author":"Reed","year":"1986"},{"issue":"10","key":"10.1016\/0743-1066(91)90028-N_BIB38","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/2.7053","article-title":"Misconceptions about Real-Time Computing: A Serious Problem for Next Generation Systems","volume":"21","author":"Stankovic","year":"1988","journal-title":"Computer"},{"key":"10.1016\/0743-1066(91)90028-N_BIB39","series-title":"Reference Manual for the Ada Programming Language","author":"USDOD","year":"1983"},{"key":"10.1016\/0743-1066(91)90028-N_BIB40","series-title":"Logic Programming: Proceedings of the 5th International Conference and Symposium","first-page":"580","article-title":"Types of Trilogy","author":"Voda","year":"1988"},{"issue":"No. 8","key":"10.1016\/0743-1066(91)90028-N_BIB41","doi-asserted-by":"crossref","DOI":"10.1145\/359763.359798","article-title":"Towards a Discipline of Real-Time Programming","volume":"20","author":"Wirth","year":"1977","journal-title":"Comm. ACM"},{"issue":"3","key":"10.1016\/0743-1066(91)90028-N_BIB42","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1109\/TSE.1982.235254","article-title":"An Operational Approach to Requirements Specification for Embedded Systems","volume":"SE-8","author":"Zave","year":"1982","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0743-1066(91)90028-N_BIB43","series-title":"Proceedings 7th Annual Symposium on Computer Architecture","article-title":"Timed Petri Nets and Preliminary Performance Evaluation","author":"Zubrek","year":"1980"}],"container-title":["The Journal of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:074310669190028N?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:074310669190028N?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,13]],"date-time":"2019-04-13T03:56:34Z","timestamp":1555127794000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/074310669190028N"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,10]]},"references-count":43,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1991,10]]}},"alternative-id":["074310669190028N"],"URL":"https:\/\/doi.org\/10.1016\/0743-1066(91)90028-n","relation":{},"ISSN":["0743-1066"],"issn-type":[{"value":"0743-1066","type":"print"}],"subject":[],"published":{"date-parts":[[1991,10]]}}}