{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:07Z","timestamp":1725662827942},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540106999"},{"type":"electronic","value":"9783540386544"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10699-5_107","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:13:01Z","timestamp":1330189981000},"page":"310-326","source":"Crossref","is-referenced-by-count":3,"title":["Relational semantics of strongly communicating sequential processes"],"prefix":"10.1007","author":[{"given":"Pedro","family":"Guerreiro","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"17_CR1","unstructured":"K.R. Apt, N. Francez and W.P. de Roever, \"Semantics for concurrently communicating finite sequential processes, based on predicate transformers\". Univ. of Utrecht Progress Report, 1979."},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"K.R. Apt, N. Francez and W.P. de Roever, \"A proof system for communicating sequential processes\". TOPLAS 2,3, July 1980, pp. 359\u2013385.","DOI":"10.1145\/357103.357110"},{"key":"17_CR3","unstructured":"P. Cousot and R. Cousot, \"Constructing program invariance proof methods\". International Workshop on Program Construction, Ed. INRIA, September 1980."},{"key":"17_CR4","unstructured":"E.W. Dijkstra, \"A Discipline of Programming\". Prentice Hall, 1976."},{"key":"17_CR5","unstructured":"E.W. Dijkstra, \"A correctness proof for communicating processes \u2014 a small exercise\". EWD-607, 1977."},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"N. Francez, C.A.R. Hoare, D.J. Lehmann, W.P. de Roever, \"Semantics of nondeterminism, concurrency and communication\". JCSS 19,3, December 1979, pp. 290\u2013308.","DOI":"10.1016\/0022-0000(79)90006-0"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"P. Guerreiro, \"A relational model for non-deterministic programs and predicate transformers\", in Fourth International Symposium on Programming, Lecture Notes in Computer Science 83. Springer 1980, pp. 136\u2013146.","DOI":"10.1007\/3-540-09981-6_10"},{"issue":"10","key":"17_CR8","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. R. Hoare","year":"1969","unstructured":"C.A.R. Hoare, \"An axiomatic basis for computer programming\". CACM 12, 10 October 1969, pp. 576\u2013580, 583.","journal-title":"CACM"},{"issue":"8","key":"17_CR9","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. R. Hoare","year":"1978","unstructured":"C.A.R. Hoare, \"Communicating sequential processes\". CACM 21, 8, August 1978, pp. 666\u2013677.","journal-title":"CACM"},{"key":"17_CR10","unstructured":"C.A.R. Hoare, \"A model for communicating sequential processes\". Oxford Univ. Comp. Lab., July 1979."},{"key":"17_CR11","first-page":"1","volume":"338","author":"A. Lamsweerde van","year":"1976","unstructured":"A. van Lamsweerde and M. Sintzoff, \"Formal derivation of strongly correct parallel programs\". MBLE Research Lab. Report R 338, October 1976, also Acta Informatica 12, fasc. 1, 1979, pp. 1\u201331.","journal-title":"MBLE Research Lab. Report R"},{"key":"17_CR12","unstructured":"A. Mazurkiewicz, \"Proving properties of processes\". Algorytmy, XI, no 19, 1974, pp. 5\u201322."},{"issue":"2","key":"17_CR13","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1145\/322123.322134","volume":"26","author":"G. Milne","year":"1979","unstructured":"G. Milne and R. Milner, \"Concurrent processes and their syntax\". JACM, 26, 2, April 1979, pp. 302\u2013321.","journal-title":"JACM"},{"issue":"5","key":"17_CR14","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1145\/360051.360224","volume":"19","author":"S. Owicki","year":"1976","unstructured":"S. Owicki and D. Gries, \"Verifying properties of parallel programs: an axiomatic approach\". CACM 19, 5, May 1976, pp. 279\u2013285.","journal-title":"CACM"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"W.P. de Roever, \"Dijkstra's predicate transformer, non-determinism, recursion and termination\", in Math. Found. of Comp. Sci., Lecture Notes in Computer Science 45. Springer, 1976, pp. 472\u2013481.","DOI":"10.1007\/3-540-07854-1_217"},{"key":"17_CR16","unstructured":"J. Sifakis, \"Le contr\u00f4le des syst\u00e8mes asynchrones: concepts, propri\u00e9t\u00e9s, analyse statique\". Th\u00e8se d'Etat, Univ. of Grenoble, June 1979."},{"key":"17_CR17","unstructured":"J. Sifakis. \"A unified approach for studying the properties of transition systems\", RR 179, IMAG, Grenoble, December 1979 (to appear in TCS)."}],"container-title":["Lecture Notes in Computer Science","Formalization of Programming Concepts"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10699-5_107.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:03:16Z","timestamp":1605643396000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10699-5_107"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540106999","9783540386544"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-10699-5_107","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}