{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T23:07:26Z","timestamp":1693868846826},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1996,3,1]],"date-time":"1996-03-01T00:00:00Z","timestamp":825638400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1996,3]]},"DOI":"10.1007\/s002360050039","type":"journal-article","created":{"date-parts":[[2002,8,25]],"date-time":"2002-08-25T07:47:25Z","timestamp":1030261645000},"page":"153-176","source":"Crossref","is-referenced-by-count":16,"title":["Parallel composition of assumption-commitment specifications"],"prefix":"10.1007","volume":"33","author":[{"given":"A.","family":"Cau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Collette","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"60330153236_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Lamport, L.: An old-fashioned recipe for real time. In: de Bakker, J.W., Huizing, C., de Roever, W.-P., Rozenberg, G. (eds.) Real time: theory in practice. (Lect. Notes Comput. Sci., vol. 600, pp 1\u201327) Springer-Verlag 1992","DOI":"10.1007\/BFb0031985"},{"issue":"1","key":"60330153236_CR2","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"M. Abadi","year":"1993","unstructured":"Abadi, M., Lamport, L.: Composing specifications. ACM Trans. on Prog. Lang. and Syst. 15 (1), 73\u2013132 (1993)","journal-title":"ACM Trans. on Prog. Lang. and Syst."},{"key":"60330153236_CR3","unstructured":"Abadi, M., Lamport, L.: Conjoining specifications, Digital Equipment Corporation Systems Research Center, Research Report 118, 1993."},{"key":"60330153236_CR4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(93)90151-I","volume":"114","author":"M. Abadi","year":"1993","unstructured":"Abadi, M., Plotkin, G.D.: A logical view of composition. TCS 114 3\u201330 (1993)","journal-title":"TCS"},{"key":"60330153236_CR5","unstructured":"Aczel, P.: On an inference rule for parallel composition. Unpublished, University of Manchester 1983"},{"key":"60330153236_CR6","doi-asserted-by":"crossref","unstructured":"Barringer, H., Kuiper, R., Pnueli, A.: Now you may compose temporal logic specifications. In: Proc. 16th ACM Symposium on Theory of Computing, pp. 51\u201363 1984","DOI":"10.1145\/800057.808665"},{"key":"60330153236_CR7","unstructured":"Barringer, H., Kuiper, R., Pnueli, A.: A compositional temporal approach to a CSP-like language. In: Neuhold, E.J., Chroust, G. (eds.) Formal Models of Programming. Elsevier 1985"},{"key":"60330153236_CR8","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. J. ACM 31, 560\u2013599 (1984)","journal-title":"J. ACM"},{"issue":"1","key":"60330153236_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/151299.151302","volume":"2","author":"M. Broy","year":"1993","unstructured":"Broy, M.: Functional specification of time-sensitive communicating systems. ACM Trans. on Soft. Eng. and Meth. 2 (1), 1\u201346 (1993)","journal-title":"ACM Trans. on Soft. Eng. and Meth."},{"key":"60330153236_CR10","doi-asserted-by":"crossref","unstructured":"Cau, A., Kuiper, R., de Roever, W.-P.: Formalizing Dijkstra\u2019s development strategy within Stark\u2019s formalism. In: Jones, C.B., Shaw, R.C. Denvir, T. (eds.) Proc. 5th BCS-FACS Refinement Workshop, pp 4\u201342. Springer-Verlag 1992","DOI":"10.1007\/978-1-4471-3550-0_3"},{"key":"60330153236_CR11","doi-asserted-by":"crossref","unstructured":"Collette, P.: Application of the composition principle to UNITY-like specifications. In: Gaudel, M.-C., Jouannaud, J.-P., (eds.) Proc. TAPSOFT \u201993. (Lect. Notes Comput. Sci., vol 668, pp 230\u2013242) Springer-Verlag 1993","DOI":"10.1007\/3-540-56610-4_67"},{"key":"60330153236_CR12","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/0020-0190(94)90041-8","volume":"50","author":"P. Collette","year":"1994","unstructured":"Collette, P.: An explanatory presentation of composition rules for assumption-commitment specifications. Inf. Proc. Letters 50, 31\u201335 (1994)","journal-title":"Inf. Proc. Letters"},{"key":"60330153236_CR13","unstructured":"Collette, P.: Design of compositional proof systems based on assumption-commitment specifications \u2014Application to UNITY. Ph.D. Thesis, Universit\u00e9 Catholique de Louvain, 1994."},{"key":"60330153236_CR14","doi-asserted-by":"crossref","unstructured":"Gr\u00f8nning, P., Nielsen, T.Q., Lovengreen, H.H.: Refinement and composition of transition-based relyguarantee specifications with auxiliary variables. In: Veni Madhavan, C.E., Nori, K.V. (eds.) Proc. Foundations of Software Technology and Theoretical Computer Science. (Lect. Notes Comput. Sci., vol 472, pp 332\u2013348) Springer-Verlag 1991","DOI":"10.1007\/3-540-53487-3_55"},{"key":"60330153236_CR15","unstructured":"Hennessy, M: The semantics of programming languages. Wiley 1990"},{"key":"60330153236_CR16","unstructured":"Jones, C.B.: Development methods for computer programs including a notion of interference. Ph.D. Thesis, Oxford University, 1981."},{"issue":"4","key":"60330153236_CR17","doi-asserted-by":"crossref","first-page":"596","DOI":"10.1145\/69575.69577","volume":"5","author":"C.B. Jones","year":"1983","unstructured":"Jones, C.B.: Tentative steps towards a development method for interfering programs. ACM Trans. on Prog. Lang. and Syst. 5 (4), 596\u2013619 (1983)","journal-title":"ACM Trans. on Prog. Lang. and Syst."},{"issue":"4","key":"60330153236_CR18","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1109\/TSE.1981.230844","volume":"7","author":"J. Misra","year":"1981","unstructured":"Misra, J., Chandy, K.M.: Proofs of networks of processes. IEEE Trans. on Soft. Eng., 7 (4), 417\u2013426 (1981)","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"60330153236_CR19","unstructured":"Pandya, P.K.: Compositional verification of distributed programs. Ph.D. Thesis, University of Bombay 1988."},{"key":"60330153236_CR20","doi-asserted-by":"crossref","unstructured":"Pandya, P.K.: Some comments on the assumption-commitment framework for compositional verification of distributed programs. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Stepwise refinement of distributed systems. (Lect. Notes Comput. Sci., vol 430, pp 622\u2013640) Springer-Verlag 1990","DOI":"10.1007\/3-540-52559-9_81"},{"key":"60330153236_CR21","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/BF02311231","volume":"5","author":"P.K. Pandya","year":"1991","unstructured":"Pandya, P.K., Joseph, M.: P-A logic \u2014a compositional proof system for distributed programs. Distrib. Comp. 5, 37\u201354 (1991)","journal-title":"Distrib. Comp."},{"key":"60330153236_CR22","doi-asserted-by":"crossref","unstructured":"Pnueli, A: In transition from global to modular temporal reasoning about programs. In: Apt, K.R. (ed.) Logics and models of concurrent systems. (NATO ASI Series, vol F 13, pp 123\u2013144) Springer-Verlag 1985","DOI":"10.1007\/978-3-642-82453-1_5"},{"key":"60330153236_CR23","unstructured":"de Roever, W.-P.: The quest for compositionality \u2014a survey of assertion based proof systems for concurrent programs, Part I. In Proc. of IFIP Working Conference: The Role of Abstract Models in Computer Science, North-Holland, 1985."},{"key":"60330153236_CR24","volume-title":"State-based proof theory of concurrency: from noncompositional to compositional methods","author":"W.-P. Roever de","year":"1994","unstructured":"de Roever, W.-P., Hooman, J., de Boer, F., Lakhneche, Y., Xu, Q., Pandya, P.: State-based proof theory of concurrency: from noncompositional to compositional methods. Book manuscript, 350 pages, Christian-Albrechts-Universit\u00e4t zu Kiel, Germany, 1994"},{"key":"60330153236_CR25","doi-asserted-by":"crossref","unstructured":"Stark, E.W.: A proof technique for rely\/guarantee properties. In: Proc. Foundations of Software Technology and Theoretical Computer Science. (Lect. Notes Comput. Sci., vol 206, pp 369\u2013391) Springer-Verlag 1985","DOI":"10.1007\/3-540-16042-6_21"},{"key":"60330153236_CR26","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/0304-3975(88)90033-3","volume":"58","author":"C. Stirling","year":"1988","unstructured":"Stirling, C.: A generalization of Owicki-Gries Hoare logic for a concurrent while language. TCS 58, 347\u2013359 (1988)","journal-title":"TCS"},{"key":"60330153236_CR27","doi-asserted-by":"crossref","unstructured":"St\u00f8len, K.: A method for the development of totally correct shared-state parallel programs. In: Baeten, J.C.M., Groote, J.F., (eds.), Proc. Concur \u201991. (Lect. Notes Comput. Sci., vol 527, pp 510\u2013525.) Springer-Verlag 1991","DOI":"10.1007\/3-540-54430-5_110"},{"key":"60330153236_CR28","unstructured":"St\u00f8len, K., Dederichs, F., Weber, R.: Assumption\/commitment rules for networks of asynchronously communicating agents. Technical Report SFB 342\/2\/93, Technical University of Munich 1993"},{"key":"60330153236_CR29","doi-asserted-by":"crossref","unstructured":"Woodcock, J.C.P., Dickinson, B.: Using VDM with rely and guarantee-conditions, in Bloomfield, R., Marshall, L., Jones, R. (eds.). Proc. VDM \u201988, The Way Ahead. (Lect. Notes Comput. Sci., vol 328, pp 434\u2013458.) Springer-Verlag 1988","DOI":"10.1007\/3-540-50214-9_27"},{"key":"60330153236_CR30","doi-asserted-by":"crossref","unstructured":"Xu, Q., He, J.: A theory of state-based parallel programming: Part I. In Morris, J. (ed.) Proc. 4th BCS-FACS Refinement Workshop, pp 326\u2013359. Springer-Verlag 1991","DOI":"10.1007\/978-1-4471-3756-6_15"},{"key":"60330153236_CR31","doi-asserted-by":"crossref","unstructured":"Zwiers, J., de Bruin, A., de Roever, W.-P.: A proof system for partial correctness of dynamic networks of processes. In: Proc. Conference on Logics of Programs 1983. (Lect. Notes Comput. Sci., vol 164, pp 513\u2013527) Springer-Verlag 1984","DOI":"10.1007\/3-540-12896-4_384"},{"key":"60330153236_CR32","doi-asserted-by":"crossref","unstructured":"Zwiers, J., de Roever, W.-P., van Emde Boas,P.: Compositionality and concurrent networks: soundness and completeness of a proof system. Technical Report 57, University of Nijmegen 1984.","DOI":"10.1007\/BFb0015776"},{"key":"60330153236_CR33","unstructured":"Zwiers, J.: Compositionality, concurrency and partial correctness. (Lect. Notes Comput. Sci., vol 321) Springer-Verlag 1989"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s002360050039.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s002360050039\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s002360050039","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,7]],"date-time":"2020-01-07T16:26:54Z","timestamp":1578414414000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s002360050039"}},"subtitle":["A unifying approach for shared variable and distributed message passing concurrency"],"short-title":[],"issued":{"date-parts":[[1996,3]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,3]]}},"alternative-id":["60330153236"],"URL":"https:\/\/doi.org\/10.1007\/s002360050039","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,3]]}}}