{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:57Z","timestamp":1725663177445},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540503026"},{"type":"electronic","value":"9783540459651"}],"license":[{"start":{"date-parts":[[1988,1,1]],"date-time":"1988-01-01T00:00:00Z","timestamp":567993600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50302-1_5","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:20:04Z","timestamp":1330183204000},"page":"99-110","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["From a synchronous declarative language to a temporal logic dealing with multiform time"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Pilaud","sequence":"first","affiliation":[]},{"given":"Nicolas","family":"Halbwachs","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"5_CR1","unstructured":"Ashcroft E.A., Wadge W.W.: LUCID, the data-flow programming language. Academic Press, 1985."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Austry D., Boudol G.: Alg\u00e8bre de processus et synchronisation. TCS 30, april 84.","DOI":"10.1016\/0304-3975(84)90067-7"},{"key":"5_CR3","unstructured":"Bergerand J-L., Caspi P., Halbwachs N., Pilaud D., Pilaud E.: Outline of a real-time data-flow language. 1985 Real-Time Symp., San Diego, dec. 85."},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Berry G., Cosserat L.: The ESTEREL programming language and its mathematical semantics. RR nr. 327, INRIA, 1984. To appear in Science of Computer Programming.","DOI":"10.1007\/3-540-15670-4_19"},{"key":"5_CR5","unstructured":"Caspi P., Pilaud D., Halbwachs N., Plaice J.: LUSTRE: a declarative language for programming synchronous systems. 14th ACM Symp. on Principles of Programming Languages, Munich, january 87."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Clarke E.M., Emerson E.A., Sistla A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM TOPLAS, 8(2), 1986.","DOI":"10.1145\/5397.5399"},{"key":"5_CR7","unstructured":"Gabbay D., Pnueli A., Shelah S., Stavi J.: On the temporal analysis of fairness. 7th ACM Symp. on Principles of Programming Languages, Las Vegas, january 80."},{"key":"5_CR8","unstructured":"Harel D.: Statecharts: A visual approach to complex systems. Advanced NATO Institute on Logics and Models for Verification and Specification of Concurrent Systems, La Colle-sur-Loup, 1984."},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Le Guernic P., Benveniste A., Bournai P., Gautier T.: SIGNAL: a data-flow oriented language for signal processing. RR nr. 378, INRIA, 1985.","DOI":"10.1109\/TASSP.1986.1164809"},{"key":"5_CR10","unstructured":"Koymans R., DeRoever W.P.: Examples of a real-time temporal logic specification. In The analysis of Concurrent Systems, LNCS nr.207, august 83."},{"key":"5_CR11","series-title":"International Lecture Series in Computer Science","volume-title":"The Correctness Problem in Computer Science","author":"Z. Manna","year":"1982","unstructured":"Manna Z., Pnueli A.: Verification of concurrent programs: the temporal framework. In The Correctness Problem in Computer Science (R.S. Boyer and J.S. Moore, eds), International Lecture Series in Computer Science, Academic Press, London, 1982."},{"key":"5_CR12","unstructured":"Moszkowski B.C.: Reasoning about digital circuits. PhD Thesis, Report STAN-CS-83-970, Dept. of Computer Science, Stanford University, july 83."},{"key":"5_CR13","unstructured":"Plotkin G.D.: A structural approach to operational semantics, Lecture Notes, Aarhus University, 1981."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Pnueli A.: The temporal logic of concurrent programs. 12th ICALP, LNCS 194, 1977.","DOI":"10.1109\/SFCS.1977.32"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Queille J-P., Sifakis J.: Specification and verification of concurrent systems in CESAR. 5th Int. Symp. on Programming, Springer-Verlag 1981.","DOI":"10.1007\/3-540-11494-7_22"},{"key":"5_CR16","unstructured":"Schwartz R.L., Melliar-Smith P.M., Vogt F.H.: An interval logic for higher-level temporal reasonning: language definition and examples. Technical Rep. CSL-138, Computer Science Lab., SRI International, february 83."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50302-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T18:16:30Z","timestamp":1578507390000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50302-1_5"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540503026","9783540459651"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-50302-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]},"assertion":[{"value":"28 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}