{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T16:10:09Z","timestamp":1746375009001,"version":"3.40.4"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319108810"},{"type":"electronic","value":"9783319108827"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10882-7_9","type":"book-chapter","created":{"date-parts":[[2014,9,11]],"date-time":"2014-09-11T06:54:19Z","timestamp":1410418459000},"page":"133-150","source":"Crossref","is-referenced-by-count":3,"title":["Refinement of Structured Interactive Systems"],"prefix":"10.1007","author":[{"given":"Denisa","family":"Diaconescu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigia","family":"Petre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kaisa","family":"Sere","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gheorghe","family":"Stefanescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press (1996)","DOI":"10.1017\/CBO9780511624162"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"6","author":"J.-R. Abrial","year":"2010","unstructured":"Abrial, J.-R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: An Open Toolset for Modelling and Reasoning in Event-B. International Journal on Software Tools for Technology Transfer\u00a06, 447\u2013466 (2010)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Design. Cambridge University Press (2010)","DOI":"10.1017\/CBO9781139195881"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Back,\u00a0R.J., Kurki-Suonio,\u00a0R.: Decentralization of process nets with centralized control. In: PODC 1983, pp. 131-142. ACM (1983)","DOI":"10.1145\/800221.806716"},{"key":"9_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1674-2","volume-title":"Refinement Calculus: A Systematic Introduction","author":"R.J. Back","year":"1998","unstructured":"Back, R.J., Wright, J.V.: Refinement Calculus: A Systematic Introduction. Springer, Heidelberg (1998)"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/BFb0015020","volume-title":"CONCUR \u201994: Concurrency Theory","author":"R.J. Back","year":"1994","unstructured":"Back, R.J., Wright, J.V.: Trace Refinement of Action Systems. In: Jonsson, B., Parrow, J. (eds.) CONCUR 1994. LNCS, vol.\u00a0836, pp. 367\u2013384. Springer, Heidelberg (1994)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-40213-5_12","volume-title":"Fundamentals of Software Engineering","author":"I.T. Banu-Demergian","year":"2013","unstructured":"Banu-Demergian, I.T., Paduraru, C.I., Stefanescu, G.: A new representation of two-dimensional patterns and applications to interactive programming. In: Arbab, F., Sirjani, M. (eds.) FSEN 2013. LNCS, vol.\u00a08161, pp. 183\u2013198. Springer, Heidelberg (2013)"},{"key":"9_CR8","doi-asserted-by":"crossref","first-page":"313","DOI":"10.3233\/FI-2014-1017","volume":"131","author":"I.T. Banu-Demergian","year":"2014","unstructured":"Banu-Demergian, I.T., Stefanescu, G.: Towards a formal representation of interactive systems. Fundamenta Informaticae\u00a0131, 313\u2013336 (2014)","journal-title":"Fundamenta Informaticae"},{"key":"9_CR9","unstructured":"Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. Elsevier (2001)"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"850","DOI":"10.1145\/268999.269004","volume":"44","author":"M. Broy","year":"1997","unstructured":"Broy, M.: Compositional refinement of interactive systems. Journal of the ACM\u00a044, 850\u2013891 (1997)","journal-title":"Journal of the ACM"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Broy, M., Olderog, E.R.: Trace-oriented models of concurrency. In: [9], pp. 101\u2013196","DOI":"10.1016\/B978-044482830-9\/50020-5"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/S0304-3975(99)00322-9","volume":"258","author":"M. Broy","year":"2001","unstructured":"Broy, M., Stefanescu, G.: The algebra of stream processing functions. Theoretical Compututer Science\u00a0258, 99\u2013129 (2001)","journal-title":"Theoretical Compututer Science"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-642-15898-8_3","volume-title":"Formal Methods for Industrial Critical Systems","author":"J.W. Bryans","year":"2010","unstructured":"Bryans, J.W., Wei, W.: Formal Analysis of BPMN Models Using Event-B. In: Kowalewski, S., Roveri, M. (eds.) FMICS 2010. LNCS, vol.\u00a06371, pp. 33\u201349. Springer, Heidelberg (2010)"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Diaconescu, D., Leustean, I., Petre, L., Sere, K., Stefanescu, G.: Refinement Preserving Translation from Event-B to Register-Voice Interactive Systems. TUCS Technical Reports No. 1028 (December 2011), http:\/\/tucs.fi\/publications\/view\/?pub_id=tDiLePeSeSt11a","DOI":"10.1007\/978-3-642-30729-4_16"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-642-30729-4_16","volume-title":"Integrated Formal Methods","author":"D. Diaconescu","year":"2012","unstructured":"Diaconescu, D., Leustean, I., Petre, L., Sere, K., Stefanescu, G.: Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. In: Derrick, J., Gnesi, S., Latella, D., Treharne, H. (eds.) IFM 2012. LNCS, vol.\u00a07321, pp. 221\u2013236. Springer, Heidelberg (2012)"},{"key":"9_CR16","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall International (1976)"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Dragoi, C., Stefanescu, G.: AGAPIA v0.1: A programming language for interactive systems and its typing systems. In: FINCO 2007. ENTCS, vol.\u00a0203, pp. 69\u201394 (2008)","DOI":"10.1016\/j.entcs.2008.04.087"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/978-3-540-77566-9_22","volume-title":"SOFSEM 2008: Theory and Practice of Computer Science","author":"C. Dragoi","year":"2008","unstructured":"Dragoi, C., Stefanescu, G.: On compiling structured interactive programs with registers and voices. In: Geffert, V., Karhum\u00e4ki, J., Bertoni, A., Preneel, B., N\u00e1vrat, P., Bielikov\u00e1, M. (eds.) SOFSEM 2008. LNCS, vol.\u00a04910, pp. 259\u2013270. Springer, Heidelberg (2008)"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/978-3-642-20398-5_24","volume-title":"NASA Formal Methods","author":"A. Salehi Fathabadi","year":"2011","unstructured":"Salehi Fathabadi, A., Rezazadeh, A., Butler, M.: Applying Atomicity and Model Decomposition to a Space Craft System in Event-B. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. LNCS, vol.\u00a06617, pp. 328\u2013342. Springer, Heidelberg (2011)"},{"key":"9_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes I and II. Information and Computation\u00a0100, 1\u201377 (1992)","journal-title":"Information and Computation"},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s10270-006-0012-1","volume":"6","author":"J. Misra","year":"2007","unstructured":"Misra, J., Cook, W.R.: Computation Orchestration. Software and System Modeling\u00a06, 83\u2013110 (2007)","journal-title":"Software and System Modeling"},{"key":"9_CR22","unstructured":"Morgan, C.: Programming from Specifications. Prentice-Hall (1998)"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Olszewski, M., Back, R.-J.: Agile Development with Stepwise Feature Introduction. In: ENASE 2012, pp. 161\u2013166 (2012)","DOI":"10.5220\/0003997901610166"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Petri, C.A., Reisig, W.: Petri net. Scholarpedia\u00a03(4), 6477","DOI":"10.4249\/scholarpedia.6477"},{"key":"9_CR25","first-page":"1722","volume":"13","author":"A. Popa","year":"2007","unstructured":"Popa, A., Sofronia, A., Stefanescu, G.: High-level structured interactive programs with registers and voices. Journal of Universal Computer Science\u00a013, 1722\u20131754 (2007)","journal-title":"Journal of Universal Computer Science"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Stefanescu, G.: Network algebra. Springer (2000)","DOI":"10.1007\/978-1-4471-0479-7"},{"key":"9_CR27","unstructured":"Stefanescu, G.: Interactive systems with registers and voices. Draft, School of Computing, National University of Singapore (July 2004)"},{"key":"9_CR28","first-page":"285","volume":"73","author":"G. Stefanescu","year":"2006","unstructured":"Stefanescu, G.: Interactive systems with registers and voices. Fundamenta Informaticae\u00a073, 285\u2013306 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"9_CR29","unstructured":"Stefanescu, G.: Towards a Floyd logic for interactive rv-systems. In: ICCP 2006, Technical University of Cluj-Napoca, pp. 169\u2013178 (2006)"},{"key":"9_CR30","unstructured":"RODIN tool platform, http:\/\/www.event-b.org\/platform.html"},{"key":"9_CR31","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1008688421367","volume":"13","author":"M. Walden","year":"1998","unstructured":"Walden, M., Sere, K.: Reasoning About Action Systems Using the B-Method. Formal Methods in Systems Design\u00a013, 5\u201335 (1998)","journal-title":"Formal Methods in Systems Design"},{"key":"9_CR32","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/S0304-3975(97)00154-0","volume":"192","author":"P. Wegner","year":"1998","unstructured":"Wegner, P.: Interactive foundations of computing. Theoretical Computer Science\u00a0192, 315\u2013351 (1998)","journal-title":"Theoretical Computer Science"},{"key":"9_CR33","unstructured":"URL, http:\/\/www.petrinets.info\/"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10882-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T15:44:36Z","timestamp":1746373476000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10882-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319108810","9783319108827"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10882-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}