{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:46Z","timestamp":1725663226433},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540156482"},{"type":"electronic","value":"9783540395270"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15648-8_14","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:20:58Z","timestamp":1330194058000},"page":"167-189","source":"Crossref","is-referenced-by-count":27,"title":["Compositional semantics for real-time distributed computing"],"prefix":"10.1007","author":[{"given":"R.","family":"Koymans","sequence":"first","affiliation":[]},{"given":"R. K.","family":"Shyamasundar","sequence":"additional","affiliation":[]},{"given":"W. P.","family":"Roever","sequence":"additional","affiliation":[]},{"given":"R.","family":"Gerth","sequence":"additional","affiliation":[]},{"given":"S.","family":"Arun-Kumar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"14_CR1","unstructured":"The programming language Ada. Reference manual. LNCS 155, Springer, 1983."},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"G. Berry, L. Cosserat. The ESTEREL Synchronous Programming Language and its Mathematical Semantics. R de R No 327, INRIA, Centre Sophia Antipolis, 1984.","DOI":"10.1007\/3-540-15670-4_19"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"A. Bernstein, P.K. Harter jr. Proving Real-time Properties of Programs with Termporal Logic. 8th ACM SOSP, pp. 1\u201311, 1981.","DOI":"10.1145\/1067627.806585"},{"key":"14_CR4","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31-3","author":"S.D. Brookes","year":"1984","unstructured":"S.D. Brookes, C.A.R. Hoare, A.W. Roscoe. A theory of Communicating Sequential Processes. JACM 31-3, pp. 560\u2013599, July 1984.","journal-title":"JACM"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"H. Barringer, R. Kuiper, A. Pnueli. Now You May Compose Temporal Logic Specifications. 16th ACM STOC, pp. 51\u201363, 1984.","DOI":"10.1145\/800057.808665"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"P.Branquart, G. Louis, P. Wodon. An Analytical Description of CHILL, the CCITT High Level Language VI, LNCS 128, Springer, 1982.","DOI":"10.1007\/3-540-11196-4"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"D. Bj\u00f8rner, O.N. Oest (eds). Towards a Formal Description of Ada. LNCS 98, Springer, 1980.","DOI":"10.1007\/3-540-10283-3"},{"key":"14_CR8","unstructured":"A Case Study: The Space Shuttle Software System. CACM 27-9, 1984."},{"key":"14_CR9","unstructured":"J. Camerini. Semantique Mathematique de Primitives Temps Reel. These de 3 eme cycle, IMA, Universit\u00e9 de Nice, 1982."},{"key":"14_CR10","volume-title":"Communication with an automatic computer","author":"E.W. Dijkstra","year":"1959","unstructured":"E.W. Dijkstra. Communication with an automatic computer. Ph.D. thesis, Mathematical Centre, Amsterdam, 1959."},{"key":"14_CR11","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0304-3975(84)90022-7","volume":"32","author":"N. Francez","year":"1984","unstructured":"N. Francez, D. Lehmann, A. Pnueli. A linear-history semantics for languages for distributed programming. TCS 32, pp. 25\u201346, 1984.","journal-title":"TCS"},{"key":"14_CR12","unstructured":"R. Gerth. A Maximal Parallelism Semantics for Occam. Notes, 1985."},{"key":"14_CR13","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0304-3975(83)90081-6","volume":"26","author":"E.C.R. Hehner","year":"1983","unstructured":"E.C.R. Hehner, C.A.R. Hoare. A more complete model of communicating processes. TCS 26, pp. 105\u2013120, 1983.","journal-title":"TCS"},{"key":"14_CR14","volume-title":"Optimal Precision in the Presence of Uncertainty","author":"J. Y. Halpern","year":"1985","unstructured":"J. Y. Halpern, N. Megiddo, A. A. Munshi. Optimal Precision in the Presence of Uncertainty. IBM Research Lab., San Jose, 1985."},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. CACM 21\u20138, 1978.","DOI":"10.1145\/359576.359585"},{"key":"14_CR16","unstructured":"G. Jones. D. Phil.thesis, Oxford, unpublished, 1982."},{"key":"14_CR17","unstructured":"R. Koymans. Denotational semantics for real-time programming constructs in concurrent languages. Notes, 1984."},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"R. Koymans, R.K. Shyamasundar, W.P. de Roever, R. Gerth, S. Arun-Kumar. Compositional Semantics for Real-time Distributed Computing. KUN Report, Informatics Department, Nijmegen University, 1985.","DOI":"10.1007\/3-540-15648-8_14"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"R. Koymans, J. Vytopil, W.P. de Roever. Real-time Programming and Asynchronous Message Passing. 2nd ACM PODC, pp. 187\u2013197, 1983.","DOI":"10.1145\/800221.806721"},{"key":"14_CR20","unstructured":"R. Milner. An approach to the semantics of parallel programs. Proc. of the Convegno di Informatica Teorica, Pisa, 1973."},{"key":"14_CR21","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"R. Milner. Calculi for Synchrony and Asynchrony. TCS 25, pp. 267\u2013310, 1983.","journal-title":"TCS"},{"key":"14_CR22","unstructured":"The Occam language reference manual. Prentice Hall, 1984."},{"key":"14_CR23","unstructured":"R.K. Shyamasundar. A total correctness proof system for a real-time distributed language. Notes, 1984."},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"A. Salwicki, T. M\u00fcldner. On the algorithmic properties of concurrent programs. LNCS 125, Springer, 1981.","DOI":"10.1007\/3-540-11160-3_6"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"N. Soundararajan. Correctness Proofs for CSP Programs. TCS 23\u20134, 1983.","DOI":"10.1016\/0304-3975(83)90045-2"},{"key":"14_CR26","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1145\/1780.1805","volume":"6-4","author":"N. Soundararajan","year":"1984","unstructured":"N. Soundararajan. Axiomatic Semantics of Communicating Sequential Processes. TOPLAS 6-4, pp. 647\u2013662, 1984.","journal-title":"TOPLAS"},{"key":"14_CR27","unstructured":"R.K. Shyamasundar, W. P. de Roever. Semantics of real-time Ada. Notes, 1983."},{"key":"14_CR28","unstructured":"Sunday Times July 22, 1984."},{"key":"14_CR29","unstructured":"E. Zijlstra. Real-time semantics. submitted, 1984."}],"container-title":["Lecture Notes in Computer Science","Logics of Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15648-8_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:32Z","timestamp":1605643712000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15648-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156482","9783540395270"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-15648-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}