{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:01Z","timestamp":1725663181769},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540503026"},{"type":"electronic","value":"9783540459651"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50302-1_2","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:20:07Z","timestamp":1330201207000},"page":"36-66","source":"Crossref","is-referenced-by-count":11,"title":["Using higher-order logic for modular specification of real-time distributed systems"],"prefix":"10.1007","author":[{"given":"Glenn H.","family":"MacEwen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David B.","family":"Skillicorn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"M.R. Barbacci and J.M. Wing, \u201cSpecifying Functional and Timing Behavior for Real-Time Systems,\u201d Proceedings of the Conference on Parallel Architectures and Languages, (June 1987).","DOI":"10.1007\/3-540-17945-3_7"},{"key":"2_CR2","unstructured":"G. Berry, S. Moisan, and J-P. Rigault, \u201cESTEREL: Towards a Synchronous and Semantically Sound High Level Language for Real-Time Applications,\u201d IEEE Real-Time Systems Symposium, pp. 30\u201337 (December 1983)."},{"key":"2_CR3","unstructured":"A. Camilleri, M. Gordon, and T. Melham, Hardware Verification Using Higher-Order Logic, Computer Laboratory, Cambridge University (June 11, 1987)."},{"issue":"8","key":"2_CR4","doi-asserted-by":"crossref","first-page":"917","DOI":"10.1109\/TC.1987.5009515","volume":"C-36","author":"M. Coulas","year":"1987","unstructured":"M. Coulas, G. H. MacEwen, and G. Marquis, \u201cRNet: A Hard Real-Time Distributed Programming System,\u201d IEEE Transactions on Computers C-36(8) pp. 917\u2013932 (August 1987).","journal-title":"IEEE Transactions on Computers"},{"key":"2_CR5","volume-title":"SRI Specification and Verification System","author":"J. S. Crow","year":"1986","unstructured":"J.S. Crow and others, SRI Specification and Verification System, Computer Science Laboratory, SRI International, Menlo Park, CA (May 1986)."},{"key":"2_CR6","volume-title":"OBJ as a Theorem Prover","author":"J. A. Goguen","year":"1988","unstructured":"J. A. Goguen, \u201cOBJ as a Theorem Prover,\u201d SRI-CSL-88-4, SRI International, Menlo Park, CA (April 1988)."},{"key":"2_CR7","unstructured":"M.J.C. Gordon, \u201cWhy Higher-Order Logic is a Good Formalism for Specifying and Verifying Hardware,\u201d Formal Aspects of VLSI Design, North Holland, (1986)."},{"key":"2_CR8","unstructured":"M.J.C. Gordon, \u201cHOL: A Machine-Oriented Formulation of Higher-Order Logic,\u201d Technical Report 68, Computer Laboratory, Cambridge University (June 15, 1987)."},{"issue":"9","key":"2_CR9","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","volume":"SE-12","author":"F. Jahanian","year":"1986","unstructured":"F. Jahanian and A.K. Mok, \u201cSafety Analysis of Timing Properties in Real-Time Systems\u201d, IEEE Transactions on Software Engineering SE-12(9) pp. 890\u2013904 (September 1986).","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR10","unstructured":"G. H. MacEwen and T. A. Montgomery, \u201cExpressing Requirements for Distributed Real-time Systems,\u201d Fourth Workshop on Real-time Operating Systems, pp. 125\u2013128 IEEE Computer Society, (July 1987)."},{"key":"2_CR11","volume-title":"The RNet Programming System Report 87-4: Requirements Language Semantics","author":"G. H. MacEwen","year":"1987","unstructured":"G.H. MacEwen and T.A. Montgomery, The RNet Programming System Report 87-4: Requirements Language Semantics, Department of Computing and Information Science, Queen's University, Kingston, Ontario (November 17, 1987)."},{"key":"2_CR12","volume-title":"The RNet Programming System Report 87-1: Requirements Language Definition","author":"G. H. MacEwen","year":"1987","unstructured":"G.H. MacEwen and T.A. Montgomery, The RNet Programming System Report 87-1: Requirements Language Definition, Department of Computing and Information Science, Queen's University, Kingston, Ontario (November 12, 1987)."},{"key":"2_CR13","volume-title":"The RNet Programming System Report 87-3: Distributed Real-time Logic","author":"G. H. MacEwen","year":"1987","unstructured":"G.H. MacEwen and T.A. Montgomery, The RNet Programming System Report 87-3: Distributed Real-time Logic, Department of Computing and Information Science, Queen's University, Kingston, Ontario (November 22, 1987)."},{"key":"2_CR14","unstructured":"J.S. Ostroff and W.M. Wonham, \u201cModelling, Specifying, and Verifying Real-Time Embedded Computer Systems,\u201d Proceedings of the IEEE Real-Time System Symposium, pp. 124\u2013132 (December 1987)."},{"key":"2_CR15","series-title":"Technical Report","volume-title":"Modular Reasoning in the ESM\/RTTL Framework For Real-Time Systems","author":"J. S. Ostroff","year":"1988","unstructured":"J.S. Ostroff, \u201cModular Reasoning in the ESM\/RTTL Framework For Real-Time Systems,\u201d Technical Report CS-88-03, Computer Science Department, York University, North York, Ontario (April 1988)."},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"P.Caspi, D. Pilaud, N. Halbwachs, and J.A. Plaice, \u201cLUSTRE: A Declarative Language for Programming Synchronous Systems,\u201d Proceedings of the ACM Symposium on Principles of Programming Languages, pp. 178\u2013188 (January 1987).","DOI":"10.1145\/41625.41641"},{"key":"2_CR17","unstructured":"A. Zwarico and I. Lee, \u201cProving a Network of Real-Time Processes Correct,\u201d Proceedings of the IEEE Real-Time System Symposium, pp. 169\u2013177 (December 1985)."},{"key":"2_CR18","unstructured":"A. Zwarico, \u201cAn Algebra of Time Dependent Processes,\u201d Ph.D. Thesis, University of Pennsylvania, Philadelphia (in preparation)."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50302-1_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:48Z","timestamp":1605647868000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50302-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540503026","9783540459651"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-50302-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}