{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:35:38Z","timestamp":1725496538170},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540583295"},{"type":"electronic","value":"9783540486541"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-3-540-48654-1_22","type":"book-chapter","created":{"date-parts":[[2016,5,10]],"date-time":"2016-05-10T13:34:34Z","timestamp":1462887274000},"page":"267-282","source":"Crossref","is-referenced-by-count":2,"title":["On Unifying Assumption\u2014Commitment Style Proof Rules for Concurrency"],"prefix":"10.1007","author":[{"given":"Qiwen","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Cau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Collette","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"M Abadi","year":"1993","unstructured":"M. Abadi and L. Lamport. Composing specifications. ACM Trans. on Program. Lang. Syst., 15: 73\u2013132, 1993.","journal-title":"Composing specifications. ACM Trans. on Program Lang. Syst."},{"unstructured":"M. Abadi and L. Lamport. Conjoining specifications. Digital Equipment Corporation Systems Research Center, Research Report 118, 1993.","key":"22_CR2"},{"key":"22_CR3","volume-title":"S.D. Brookes, A.W. Roscoe and G. Winskel Eds., Proc. of Seminar on Concurrency 1984, LNCS 197, Springer-Verlag","author":"H Barringer","year":"1985","unstructured":"H. Barringer and R. Kuiper. Hierarchical development of concurrent systems in a temporal logic framework. In S.D. Brookes, A.W. Roscoe and G. Winskel Eds., Proc. of Seminar on Concurrency 1984, LNCS 197, Springer-Verlag, 1985."},{"key":"22_CR4","volume-title":"Prentice Hall","author":"M. Ben-Ari. Principles of Concurrent and Distributed Programming","year":"1990","unstructured":"M. Ben-Ari. Principles of Concurrent and Distributed Programming. Chapter 11. Prentice Hall, 1990."},{"key":"22_CR5","volume-title":"M.-C. Gaudel and J.-P. Jouannaud Eds., Proc. of TAPSOFT 93, LNCS 668, Springer-Verlag","author":"P Collette","year":"1993","unstructured":"P. Collette. Application of the composition principle to Unity-like specifications. In M.-C. Gaudel and J.-P. Jouannaud Eds., Proc. of TAPSOFT 93, LNCS 668, Springer-Verlag, 1993."},{"key":"22_CR6","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/0020-0190(94)90041-8","volume":"50","author":"P Collette","year":"1994","unstructured":"P. Collette. An explanatory presentation of composition rules for assumption-commitment specifications. Information Processing Letters, 50: 31\u201335, 1994.","journal-title":"Information Processing Letters"},{"key":"22_CR7","volume-title":"Universit\u00e9 Catholique de Louvain","author":"P Collette","year":"1994","unstructured":"P. Collette and A. Cau. Parallel composition of Assumption-Commitment specifications: a unifying approach for shared variable and distributed message passing concurrency. Technical Report 94\u201303, Universit\u00e9 Catholique de Louvain, 1994."},{"key":"22_CR8","volume-title":"Oxford University Computing Laboratory","author":"CB Jones","year":"1981","unstructured":"C.B. Jones. Development methods for computer programs including a notion of interference. DPhil. Thesis, Oxford University Computing Laboratory, 1981."},{"issue":"4","key":"22_CR9","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1145\/69575.69577","volume":"5","author":"CB Jones","year":"1983","unstructured":"C.B. Jones. Tentative steps towards a development method for interfering programs. ACM Trans. Program. Lang. Syst., 5 (4): 596\u2013619, 1983.","journal-title":"Program. Lang. Syst."},{"unstructured":"C.B. Jones. Interference resumed. In P. Baile ed., Australian Software Engineering Research, 1991.","key":"22_CR10"},{"key":"22_CR11","volume-title":"Springer-Verlag","author":"Z Manna","year":"1991","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems, specification, Vol. I. Springer-Verlag, 1991."},{"issue":"4","key":"22_CR12","first-page":"417","volume":"7","author":"J Misra","year":"1981","unstructured":"J. Misra and M. Chandy. Proofs of Networks of Processes. IEEE SE, 7 (4): 417\u2013426, 1981.","journal-title":"Ieeese"},{"key":"22_CR13","volume-title":"Springer-Verlag","author":"S Owicki","year":"1976","unstructured":"S. Owicki and D. Gries. An axiomatic proof technique for parallel programs. Acta Inform., 6:319\u2013340, Springer-Verlag, 1976."},{"key":"22_CR14","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/BF02311231","volume":"5","author":"PK Pandya","year":"1991","unstructured":"P.K. Pandya and M. Joseph. P-A logic\u2013a compositional proof system for distributed programs. Distributed Computing, 5: 37\u201354, 1991","journal-title":"Distributed Computing"},{"key":"22_CR15","volume-title":"The quest for compositionality. Proc. of IFIP Working Conf.","author":"W-P Roever","year":"1985","unstructured":"W.-P. de Roever. The quest for compositionality. Proc. of IFIP Working Conf., The Role of Abstract Models in Computer Science, North-Holland, 1985."},{"key":"22_CR16","volume-title":"Germany","author":"W-P Roever","year":"1994","unstructured":"W.-P. de Roever, J. Hooman, F. de Boer, Y. Lakhneche, Q. Xu and P. Pandya. State-Based Proof Theory of Concurrency: from noncompositional to compositional methods. Book manuscript, 350 pages, Christian-Albrechts-Universit\u00e4t zu Kiel, Germany, 1994."},{"key":"22_CR17","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0304-3975(88)90033-3","volume":"58","author":"C Stirling","year":"1988","unstructured":"C. Stirling. A generalization of Owicki-Gries\u2019s Hoare logic for a concurrent while language. Theoretical Computer Science, 58: 347\u2013359, 1988.","journal-title":"Theoretical Computer Science"},{"key":"22_CR18","volume-title":"J.C.M. Baeten and J.F. Groote Eds., Proc. of CONCUR 91, LNCS 527, Springer-Verlag","author":"K Stolen","year":"1991","unstructured":"K. Stolen. A method for the development of totally correct shared-state parallel programs. In J.C.M. Baeten and J.F. Groote Eds., Proc. of CONCUR 91, LNCS 527, Springer-Verlag, 1991."},{"key":"22_CR19","first-page":"1","volume-title":"A theory of state-based parallel programming Proc. of BCS FACS 4th Refinement Workshop","author":"Q Xu","year":"1991","unstructured":"Q. Xu and J. He. A theory of state-based parallel programming: Part 1. In J. Morris and R. Shaw Eds., Proc. of BCS FACS 4th Refinement Workshop, Cambridge, Springer-Verlag, 1991."},{"doi-asserted-by":"crossref","unstructured":"J. Zwiers, A. de Bruin and W.-P. de Roever. A proof system for partial correctness of Dynamic Networks of Processes. Proc. of the Conference on Logics of Programs 1983, LNCS 164, Springer-Verlag, 1984.","key":"22_CR20","DOI":"10.1007\/3-540-12896-4_384"}],"container-title":["Lecture Notes in Computer Science","CONCUR '94: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48654-1_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T18:52:21Z","timestamp":1558810341000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-48654-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540583295","9783540486541"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48654-1_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}