{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,2]],"date-time":"2023-05-02T11:12:45Z","timestamp":1683025965504},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[1995,5,1]],"date-time":"1995-05-01T00:00:00Z","timestamp":799286400000},"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":[[1995,5]]},"DOI":"10.1007\/bf01213078","type":"journal-article","created":{"date-parts":[[2005,2,25]],"date-time":"2005-02-25T12:58:56Z","timestamp":1109336336000},"page":"415-458","source":"Crossref","is-referenced-by-count":4,"title":["Compositional refinements in multiple blackboard systems"],"prefix":"10.1007","volume":"32","author":[{"given":"X. J.","family":"Chen","sequence":"first","affiliation":[]},{"given":"C.","family":"Montangero","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF01213078_CR1","doi-asserted-by":"crossref","unstructured":"V. Ambriola, P. Ciancarini, 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":"BF01213078_CR2","doi-asserted-by":"crossref","unstructured":"V. Ambriola, C. Montangero: Oikos at the age of three. In J. C. Derniame, editor,Software Process Technology, Proc. 2nd European Workshop 1992, pages 84\u201393. LNCS 653, Springer-Verlag, 1992.","DOI":"10.1007\/BFb0017506"},{"key":"BF01213078_CR3","unstructured":"V. Ambriola, C. Montangero: Oikos: constructing proces-centred SDEs. In A. Finkelstein, J. Kramer, B. Nuseibeh, editors,Software Process Modelling and Technology, Taunton, 1994. Research Study Press. To appear."},{"key":"BF01213078_CR4","doi-asserted-by":"crossref","unstructured":"E. Astesiano, A. Giovini, G. Reggio: Processes as data types: Observational semantics and logic. In I. Guessarian, editor,Semantics of Systems of Concurrent Processes, pages 1\u201320. LNCS 469, Springer-Verlag, 1990.","DOI":"10.1007\/3-540-53479-2_1"},{"issue":"5","key":"BF01213078_CR5","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1147\/rd.315.0512","volume":"31","author":"E. Astesiano","year":"1987","unstructured":"E. Astesiano, G. Reggio: Direct semantics of concurrent languages in the SMoLCS approach.IBM Journal of Research and Development, 31(5):512\u2013534, Sep 1987.","journal-title":"IBM Journal of Research and Development"},{"key":"BF01213078_CR6","doi-asserted-by":"crossref","unstructured":"E. Astesiano, G. Reggio: The SMoLCS approach to the formal semantics of programming languages \u2014A tutorial introduction. In A. N. Habermann, U. Montanari, editors,System Development and Ada, pages 81\u2013116, LNCS 275, Springer-Verlag, 1987.","DOI":"10.1007\/3-540-18341-8_18"},{"key":"BF01213078_CR7","series-title":"Technical Report 0","volume-title":"A structural approach to the formal modelization and specification of concurrent systems","author":"E. Astesiano","year":"1991","unstructured":"E. Astesiano, G. Reggio: A structural approach to the formal modelization and specification of concurrent systems. Technical Report 0, Formal Methods Group, Dipartimento di Matematica, Universit\u00e0 di Genova, Italy, 1991."},{"key":"BF01213078_CR8","doi-asserted-by":"crossref","unstructured":"E. Astesiano, G. Reggio, M. Wirsing: Relational specification and observational semantics. In B. Rovan J. Gruska, J. Wiedermann, editors,Math. Found. of Comp. Science, pages 209\u2013217, LNCS 233, Springer-Verlag, 1986.","DOI":"10.1007\/BFb0016244"},{"issue":"1","key":"BF01213078_CR9","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/114005.102807","volume":"13","author":"A. Brogi","year":"1991","unstructured":"A. Brogi, 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":"BF01213078_CR10","unstructured":"A. Bucci, P. Ciancarini, C. Montangero: A distributed logic language based on multiple tuple spaces. InProc. of Logic Programming Conference, ICOT, Tokyo, July 1991."},{"key":"BF01213078_CR11","volume-title":"Formalism and Verification towards Software Process Modelling","author":"X. J. Chen","year":"1992","unstructured":"X. J. Chen:Formalism and Verification towards Software Process Modelling. PhD. Thesis, Scuola Normale Superiore, Pisa, Italy, Nov. 1992."},{"key":"BF01213078_CR12","doi-asserted-by":"crossref","unstructured":"X. J. Chen, C. Montangero: Compositional refinements of multiple blackboard systems. In B. Krieg-Bruckner, editor,Proc. of ESOP '92, pages 93\u2013109. LNCS 582, 1992.","DOI":"10.1007\/3-540-55253-7_6"},{"issue":"3","key":"BF01213078_CR13","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1145\/152388.152393","volume":"2","author":"P. Ciancarini","year":"1993","unstructured":"P. Ciancarini. Coordinating rule based software processes with ESP.ACM Trans. on Soft. Eng. and Meth., 2(3):203\u2013227, July 1993.","journal-title":"ACM Trans. on Soft. Eng. and Meth."},{"issue":"9","key":"BF01213078_CR14","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1145\/130994.130998","volume":"35","author":"B. Curtis","year":"1992","unstructured":"B. Curtis, M.I. Kellner, J. Over: Process modeling.Communications of the ACM, 35(9):75\u201390, 1992.","journal-title":"Communications of the ACM"},{"key":"BF01213078_CR15","doi-asserted-by":"crossref","unstructured":"J.C. Derniame, ed.:Software Process Technology, Proceedings of the Second European Workshop. LNCS 635, Springer-Verlag, 1992.","DOI":"10.1007\/BFb0017495"},{"key":"BF01213078_CR16","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare:Communicating Sequential Processes. Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"BF01213078_CR17","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner:Communication and Concurrency. Prentice-Hall, London, 1989."},{"key":"BF01213078_CR18","doi-asserted-by":"crossref","unstructured":"R. De Nicola, U. Montanari, F. Vaandrager: Back and forth bisimulation. InCONCUR'90, pages 152\u2013165, LNCS 458, Springer-Verlag, 1990.","DOI":"10.1007\/BFb0039058"},{"key":"BF01213078_CR19","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/BF00264365","volume":"24","author":"Rocco Nicola De","year":"1987","unstructured":"Rocco De Nicola: Extentional equivalences for transition system.Acta Informatica, 24:211\u2013237, 1987.","journal-title":"Acta Informatica"},{"key":"BF01213078_CR20","unstructured":"G. Plotkin: A structural approach to operational semantics. Technical report, Computer Science Deot. Aarhus Univ. Denmark, 1981. DAIMI-FN-19."},{"key":"BF01213078_CR21","unstructured":"G. Reggio:A Methodology to Specify Concurrent Systems and Languages. Ph.D. Thesis (in Italian), Universit\u00e0 di Genova-Pisa-Udine, 1988."},{"key":"BF01213078_CR22","doi-asserted-by":"crossref","unstructured":"R.J. van Glabbeek: The linear time-branching time spectrum. InCONCUR'90, pages 278\u2013297. LNCS 458, Springer-Verlag, 1990.","DOI":"10.1007\/BFb0039066"},{"key":"BF01213078_CR23","doi-asserted-by":"crossref","unstructured":"M. Wirsing: Algebraic specification. In J. Van. Leeuwen, editor,Formal Models and Semantics. Handbook of Theoretical Computer Science (volume B). MIT Press, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50018-4"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01213078.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01213078\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01213078","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,2]],"date-time":"2023-05-02T10:38:01Z","timestamp":1683023881000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01213078"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,5]]},"references-count":23,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1995,5]]}},"alternative-id":["BF01213078"],"URL":"https:\/\/doi.org\/10.1007\/bf01213078","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,5]]}}}