{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:51Z","timestamp":1725455991763},"publisher-location":"Berlin\/Heidelberg","reference-count":14,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354009511X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022463","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:24:08Z","timestamp":1132723448000},"page":"51-65","source":"Crossref","is-referenced-by-count":3,"title":["On properties preserved by contractions of concurrent systems"],"prefix":"10.1007","author":[{"given":"John S.","family":"Gourlay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William C.","family":"Rounds","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Statman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Brand, D. Algebraic simulation between parallel programs. IBM Research Report RC 7206 (June, 1978)."},{"key":"4_CR2","unstructured":"Estrin, G. and Campos, I. Concurrent software design supported by SARA at the age of one. Proc. 3rd Int'l. Conf. on Software Engineering, Atlanta, Ga. May 1978."},{"key":"4_CR3","unstructured":"Hack, M. Petri net languages. Computation Structures Group Memo 124, Project MAC, MIT, June 1975."},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"R.M. Keller","year":"1976","unstructured":"Keller, R.M. Formal verification of parallel programs. Comm. ACM 19 (1976), 371\u2013384.","journal-title":"Comm. ACM"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0304-3975(77)90041-X","volume":"5","author":"Y.S. Kwong","year":"1977","unstructured":"Kwong, Y.S. On reduction of asynchronous systems. Theoret. Comp. Sci. 5 (1977), 25\u201350.","journal-title":"Theoret. Comp. Sci."},{"key":"4_CR6","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1145\/361227.361234","volume":"12","author":"R. Lipton","year":"1975","unstructured":"Lipton, R. Reduction: a method of proving properties of parallel programs. CACM 12, December 1975, 717\u2013721.","journal-title":"CACM"},{"key":"4_CR7","unstructured":"Milner, R. An algebraic definition of simulation between programs. AI Memo 142, Computer Science Department, Stanford University: 1971."},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Pratt, V. Semantical consideration on Floyd-Hoare logic. Proc. 17th IEEE Symp. on Foundations of Comp. Sci., Houston, Tx, October 1976.","DOI":"10.1109\/SFCS.1976.27"},{"key":"4_CR9","unstructured":"Riddle, W.E., et al. Behavior modelling during software design. Proc. 3rd Intl. Symp. on Software Engineering, Atlanta, Ga, May 1978."},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Riddle, W.E. Hierarchical modelling of operating system structure and behavior. Proc. ACM National Conference, Boston, August 1972, 1105\u20131127.","DOI":"10.1145\/800194.805906"},{"key":"4_CR11","unstructured":"Robinson, L., et al. A formal methodology for the design of operating system software. In R. Yeh (ed.), Current Trends in Programming Methodology, Vol. I, Prentice Hall, 1977."},{"key":"4_CR12","doi-asserted-by":"crossref","first-page":"264","DOI":"10.2307\/1969974","volume":"64","author":"H. Rogers","year":"1956","unstructured":"Rogers, H. Certain logical reduction and decision problems. Ann. Math 64 (1956), 264\u2013284.","journal-title":"Ann. Math"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(76)90032-3","volume":"2","author":"B. Rosen","year":"1976","unstructured":"Rosen, B. Correctness of parallel programs \u2014 the Church-Rosser approach. Theoret. Comp. Sci. 2 (1976), 183\u2013207.","journal-title":"Theoret. Comp. Sci."},{"key":"4_CR14","volume-title":"Mathematical Logic","author":"J.R. Shoenfield","year":"1967","unstructured":"Shoenfield, J.R. Mathematical Logic, Addison Wesley, Reading, Ma (1967)."}],"container-title":["Lecture Notes in Computer Science","Semantics of Concurrent Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0022463","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:18:22Z","timestamp":1586578702000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022463"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354009511X"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0022463","relation":{},"subject":[]}}