{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:02Z","timestamp":1725663782740},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540552536"},{"type":"electronic","value":"9783540468035"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55253-7_6","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:56:51Z","timestamp":1330250211000},"page":"93-109","source":"Crossref","is-referenced-by-count":5,"title":["Compositional refinements in multiple blackboard systems"],"prefix":"10.1007","author":[{"given":"X. J.","family":"Chen","sequence":"first","affiliation":[]},{"given":"C.","family":"Montangero","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"V. Ambriola, P. Ciancarini, and C. Montangero. Software process enactment in Oikos. In R. N. Taylor, editor, Proc. of ACM SIGSOFT '90, ACM Soft. Eng. Notes 15(6), Dec. 1990.","DOI":"10.1145\/99277.99294"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"E. Astesiano and G. Reggio. Direct semantics of concurrent languages in the SMoLCS approach. IBM Journal of Research and Development, 31(5), Sep 1987.","DOI":"10.1147\/rd.315.0512"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"E. Astesiano and G. Reggio. SMoLCS-Driven concurrent calculi. In G. Goos and J. Hartmanis, editors, Lecture Notes in Computer Science (249): Proc. of TAPSOFT'87, Springer-Verlag, 1987.","DOI":"10.1007\/3-540-17660-8_55"},{"issue":"1","key":"6_CR4","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/114005.102807","volume":"13","author":"A. Brogi","year":"1991","unstructured":"A. Brogi and P. Ciancarini. The concurrent language Shared Prolog. ACM Transactions on Programming Languages and Systems, 13(1):99\u2013123, Jan. 1991.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"M. Broy and M. Wirsing. Partial abstract types. Acta Informatica, 18, 1982.","DOI":"10.1007\/BF00625280"},{"key":"6_CR6","unstructured":"A. Bucci, P. Ciancarini, and C. Montangero. A distributed logic language based on multiple tuple spaces. In Proc. of Logic Programming Conference, Tokyo, July 1991 (to appear in LNCS)."},{"key":"6_CR7","unstructured":"X. J. Chen. A Formalism Towards Software Process Modelling. PhD thesis, Scuola Normale Superiore, Pisa, Italy (in preparation)."},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"W. Deiters and V. Gruhn. Managing software processes in the environment Melmac. In R. N. Taylor, editor, Proc. of ACM SIGSOFT '90, ACM Soft. Eng. Notes 15(6), Dec. 1990.","DOI":"10.1145\/99278.99295"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"G. E. Kaiser, P. H. Feller, and S. S. Popovich. Intelligent assistence for software development and maintenance. In IEEE Software, 1988.","DOI":"10.1109\/52.2023"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"R. Milner. A calculus for communicating systems. In G. Goos and J. Hartmanis, editors, Lecture Notes in Computer Science (92), Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"N. H. Minsky and D. Rozenshtein. Configuration management by consensus: an application of Law-Governed systems. In R. N. Taylor, editor, Proc. of ACM SIGSOFT '90, ACM Soft. Eng. Notes 15(6), Dec. 1990.","DOI":"10.1145\/99277.99283"},{"key":"6_CR12","series-title":"DAIMI-FN-19","volume-title":"Technical Report","author":"G. Plotkin","year":"1981","unstructured":"G. Plotkin. A Structural Approach to Operational Semantics. Technical Report, Computer Science Deot. Aarhus Univ. Denmark, 1981. DAIMI-FN-19."},{"key":"6_CR13","volume-title":"PhD thesis","author":"G. Reggio","year":"1986","unstructured":"G. Reggio. Una Metodologia per la Specifica di Sistemi e Linguaggi Concurrenti. PhD thesis, Dept. of Maths, Univ. of Genova, Italy, 1986."},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"R. N. Taylor. Arcadia: a software development environment research project. In P. Henderson, editor, Proc. of ACM SIGSOFT '88, ACM Soft. Eng. Notes 13(5), Nov. 1988.","DOI":"10.1145\/64137.65004"}],"container-title":["Lecture Notes in Computer Science","ESOP '92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55253-7_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T04:16:33Z","timestamp":1640924193000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55253-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540552536","9783540468035"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-55253-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}