{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:08Z","timestamp":1725663248150},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540504030"},{"type":"electronic","value":"9783540459996"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50403-6_46","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:24:48Z","timestamp":1330183488000},"page":"292-306","source":"Crossref","is-referenced-by-count":3,"title":["Semantics of real-time distributed programs"],"prefix":"10.1007","author":[{"given":"Asis","family":"Goswami","sequence":"first","affiliation":[]},{"given":"Mathai","family":"Joseph","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"20_CR1","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"S.D. Brookes, C.A.R. Hoare, and A.W. Roscoe, \u201cA Theory of Communicating Sequential Processes\u201d, J. ACM, vol. 31, 1984, pp. 560\u2013599.","journal-title":"J. ACM"},{"key":"20_CR2","volume-title":"\u201cA Semantic Model for the Specification of Real-Time Processes\u201d, Res. Rep. 121","author":"A. Goswami","year":"1988","unstructured":"A. Goswami and M. Joseph, \u201cA Semantic Model for the Specification of Real-Time Processes\u201d, Res. Rep. 121, Dept of Computer Science, Univ of Warwick, Coventry, 1988."},{"issue":"8","key":"20_CR3","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"C.A.R. Hoare, \u201cCommunicating Sequential Processes\u201d, Comm. ACM, vol. 21, no. 8, 1978, pp. 666\u2013677.","journal-title":"Comm. ACM"},{"key":"20_CR4","series-title":"Tech. Rep.","volume-title":"A Compositional Proof Theory for Real-Time Distributed Message Passing","author":"J. Hooman","year":"1987","unstructured":"J. Hooman, \u201cA Compositional Proof Theory for Real-Time Distributed Message Passing\u201d, Tech. Rep., Dept. of Mathematics and Computing Science, Eindhoven Univ of Technology, Eindhoven, 1987."},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"C. Huizing, R. Gerth, and W.-P. de Roever, \u201cFull Abstraction of a Real-Time Denotational Semantics for an OCCAM-like Language\u201d, in: Proc. 14th ACM Symp. POPL, 1987, pp. 223\u2013238.","DOI":"10.1145\/41625.41645"},{"key":"20_CR6","first-page":"167","volume-title":"Lecture Notes in Comp. Sci. 193","author":"R. Koymans","year":"1985","unstructured":"R. Koymans, R.K. Shyamasundar, W.-P. de Roever, R. Gerth, and S. Arun-Kumar, \u201cCompositional Semantics for Real-Time Distributed Computing\u201d, in: Lecture Notes in Comp. Sci. 193, Springer-Verlag, Heidelberg, 1985, pp. 167\u2013190."},{"issue":"7","key":"20_CR7","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"L. Lamport, \u201cTime, Clocks, and the Ordering of Events in a Distributed System\u201d, Comm. ACM, vol. 21, no. 7,1978, pp. 558\u2013565.","journal-title":"Comm. ACM"},{"key":"20_CR8","volume-title":"Lecture Notes in Comp. Sci. 226","author":"G.M. Reed","year":"1986","unstructured":"G.M. Reed and A.W. Roscoe, \u201cA Timed Model for Communicating Sequential Processes\u201d, in: Lecture Notes in Comp. Sci. 226, Springer-Verlag, Heidelberg, 1986."}],"container-title":["Lecture Notes in Computer Science","CONCURRENCY 88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50403-6_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:54:56Z","timestamp":1619556896000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50403-6_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540504030","9783540459996"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-50403-6_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}