{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:48Z","timestamp":1725455988516},"publisher-location":"Berlin\/Heidelberg","reference-count":9,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354009511X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022478","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:24:08Z","timestamp":1132723448000},"page":"337-347","source":"Crossref","is-referenced-by-count":3,"title":["Principles for distributing programs"],"prefix":"10.1007","author":[{"given":"Michel","family":"Sintzoff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"19_CR1","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1145\/356593.356595","volume":"3","author":"P. J. Denning","year":"1971","unstructured":"Denning, P. J., Third generation computer systems, Computing Surveys, 3, 4(Dec. 1971), 175\u2013216.","journal-title":"Computing Surveys"},{"key":"19_CR2","volume-title":"A Discipline of Programming","author":"E. W. Dijkstra","year":"1976","unstructured":"Dijkstra, E. W., A Discipline of Programming, Prentice-Hall, Englewood Cliffs, 1976."},{"key":"19_CR3","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1145\/361268.361277","volume":"15","author":"A. N. Habermann","year":"1972","unstructured":"Habermann, A. N., Synchronization of communicationg processes, CACM 15(1972), 171\u2013176.","journal-title":"CACM"},{"key":"19_CR4","doi-asserted-by":"crossref","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, CACM 19(1976), 371\u2013384.","journal-title":"CACM"},{"key":"19_CR5","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"SE-3","author":"L. Lamport","year":"1977","unstructured":"Lamport, L., Proving the correctness of multiprocess programs, IEEE Trans. Soft. Eng., SE-3(1977), 125\u2013143.","journal-title":"IEEE Trans. Soft. Eng."},{"key":"19_CR6","unstructured":"Milner, R., An algebraic definition of simulation between programs, Proc. 2nd Intern. Joint Conf. Artif. Intell., 1971, pp. 481\u2013489."},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S. Owicki","year":"1976","unstructured":"Owicki, S., and D. Gries, An axiomatic proof technique for parallel programs I, Acta Informatica 6(1976), 319\u2013340.","journal-title":"Acta Informatica"},{"key":"19_CR8","unstructured":"van Lamsweerde, A., and M. Sintzoff, Formal derivation of strongly correct parallel programs, revised version of Report R338, MBLE, Brussels, 1976, to appear in Acta Informatica."},{"key":"19_CR9","unstructured":"Sintzoff, M., Inventing program construction rules, in: S. Schuman, P. Hibbard (eds.) Constructing Quality Software, North-Holland, 1978, pp. 471\u2013501."}],"container-title":["Lecture Notes in Computer Science","Semantics of Concurrent Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022478.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:48:37Z","timestamp":1607550517000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022478"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354009511X"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0022478","relation":{},"subject":[]}}