{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T08:39:20Z","timestamp":1726043960355},"publisher-location":"Cham","reference-count":45,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030304454"},{"type":"electronic","value":"9783030304461"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-30446-1_3","type":"book-chapter","created":{"date-parts":[[2019,9,8]],"date-time":"2019-09-08T23:03:18Z","timestamp":1567983798000},"page":"48-66","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Asynchronous Cooperative Contracts for Cooperative Scheduling"],"prefix":"10.1007","author":[{"given":"Eduard","family":"Kamburjan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Crystal Chang","family":"Din","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiner","family":"H\u00e4hnle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Einar Broch","family":"Johnsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,9,9]]},"reference":[{"issue":"3","key":"3_CR1","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1145\/203095.201069","volume":"17","author":"M Abadi","year":"1995","unstructured":"Abadi, M., Lamport, L.: Conjoining specifications. ACM Trans. Program. Lang. Syst. 17(3), 507\u2013534 (1995)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"3_CR2","unstructured":"ABS Development Team. The ABS Language Specification, January 2018. http:\/\/docs.abs-models.org\/"},{"key":"3_CR3","unstructured":"Agha, G., Hewitt, C.: Actors: a conceptual foundation for concurrent object-oriented programming. In: Research Directions in Object-Oriented Programming, pp. 49\u201374. MIT Press (1987)"},{"key":"3_CR4","series-title":"LNCS","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49812-6","volume-title":"Deductive Software Verification - The KeY Book - From Theory to Practice","year":"2016","unstructured":"Ahrendt, W., Beckert, B., Bubel, R., H\u00e4hnle, R., Schmitt, P.H., Ulbrich, M. (eds.): Deductive Software Verification - The KeY Book - From Theory to Practice. LNCS, vol. 10001. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-319-49812-6"},{"issue":"4","key":"3_CR5","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/s11761-013-0148-0","volume":"8","author":"E Albert","year":"2014","unstructured":"Albert, E., et al.: Formal modeling of resource management for cloud architectures: an industrial case study using real-time ABS. J. Serv.-Oriented Comput. Appl. 8(4), 323\u2013339 (2014)","journal-title":"J. Serv.-Oriented Comput. Appl."},{"issue":"2","key":"3_CR6","doi-asserted-by":"crossref","first-page":"11:1","DOI":"10.1145\/2824255","volume":"17","author":"E Albert","year":"2016","unstructured":"Albert, E., Flores-Montoya, A., Genaim, S., Martin-Martin, E.: May-happen-in-parallel analysis for actor-based concurrency. ACM Trans. Comput. Log. 17(2), 11:1\u201311:39 (2016)","journal-title":"ACM Trans. Comput. Log."},{"key":"3_CR7","unstructured":"Armstrong, J.: Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf Series, Pragmatic Bookshelf (2007)"},{"key":"3_CR8","first-page":"82","volume-title":"Lecture Notes in Computer Science","author":"Volkan Arslan","year":"2006","unstructured":"Arslan, V., Eugster, P., Nienaltowski, P., Vaucouleur, S.: SCOOP - concurrency made easy. In: Dependable Systems: Software, Computing, Networks, Research Results of the DICS Program, pp. 82\u2013102 (2006)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Baker, H.G., Hewitt, C.E.: The incremental garbage collection of processes. In: Proceeding of the Symposium on Artificial Intelligence Programming Languages, Number 12 in SIGPLAN Notices, p. 11, August 1977","DOI":"10.1145\/800228.806932"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"18","DOI":"10.4204\/EPTCS.102.4","volume":"102","author":"Christoph Baumann","year":"2012","unstructured":"Baumann, C., Beckert, B., Blasum, H., Bormer, T.: Lessons learned from microkernel verification - specification is the new bottleneck. In: Cassez, F., Huuck, R., Klein, G., Schlich, B. (eds.) Proceedings of the 7th Conference on Systems Software Verification, volume 102 of EPTCS, pp. 18\u201332 (2012)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"issue":"1","key":"3_CR11","first-page":"61","volume":"22","author":"L Bocchi","year":"2012","unstructured":"Bocchi, L., Lange, J., Tuosto, E.: Three algorithms and a methodology for amending contracts for choreographies. Sci. Ann. Comp. Sci. 22(1), 61\u2013104 (2012)","journal-title":"Sci. Ann. Comp. Sci."},{"issue":"3","key":"3_CR12","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/2984450.2984457","volume":"3","author":"S Brookes","year":"2016","unstructured":"Brookes, S., O\u2019Hearn, P.W.: Concurrent separation logic. ACM SIGLOG News 3(3), 47\u201365 (2016)","journal-title":"ACM SIGLOG News"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Caromel, D., Henrio, L., Serpette, B. Asynchronous and deterministic objects. In: Proceedings of the 31st ACM Symposium on Principles of Programming Languages (POPL 2004), pp. 123\u2013134. ACM Press (2004)","DOI":"10.1145\/982962.964012"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-662-44202-9_9","volume-title":"ECOOP 2014 \u2013 Object-Oriented Programming","author":"P Rocha Pinto da","year":"2014","unstructured":"da Rocha Pinto, P., Dinsdale-Young, T., Gardner, P.: TaDA: a logic for time and data abstraction. In: Jones, R. (ed.) ECOOP 2014. LNCS, vol. 8586, pp. 207\u2013231. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44202-9_9"},{"issue":"5","key":"3_CR15","doi-asserted-by":"publisher","first-page":"76:1","DOI":"10.1145\/3122848","volume":"50","author":"F Boer de","year":"2017","unstructured":"de Boer, F., et al.: A survey of active object languages. ACM Comput. Surv. 50(5), 76:1\u201376:39 (2017)","journal-title":"ACM Comput. Surv."},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/978-3-540-71316-6_22","volume-title":"Programming Languages and Systems","author":"FS Boer de","year":"2007","unstructured":"de Boer, F.S., Clarke, D., Johnsen, E.B.: A complete guide to the future. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 316\u2013330. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71316-6_22"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1007\/978-3-319-21401-6_35","volume-title":"Automated Deduction \u2013 CADE-25","author":"CC Din","year":"2015","unstructured":"Din, C.C., Bubel, R., H\u00e4hnle, R.: KeY-ABS: a deductive verification tool for the concurrent modelling language ABS. In: Felty, A.P., Middeldorp, A. (eds.) CADE 2015. LNCS (LNAI), vol. 9195, pp. 517\u2013526. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21401-6_35"},{"issue":"3","key":"3_CR18","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/s00165-014-0322-y","volume":"27","author":"CC Din","year":"2015","unstructured":"Din, C.C., Owe, O.: Compositional reasoning about active objects with shared futures. Form. Asp. Comput. 27(3), 551\u2013572 (2015)","journal-title":"Form. Asp. Comput."},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-319-25423-4_14","volume-title":"Formal Methods and Software Engineering","author":"CC Din","year":"2015","unstructured":"Din, C.C., Tapia Tarifa, S.L., H\u00e4hnle, R., Johnsen, E.B.: History-based specification and verification of scalable concurrent and distributed systems. In: Butler, M., Conchon, S., Za\u00efdi, F. (eds.) ICFEM 2015. LNCS, vol. 9407, pp. 217\u2013233. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25423-4_14"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jlamp.2018.03.003","volume":"98","author":"T Dinsdale-Young","year":"2018","unstructured":"Dinsdale-Young, T., da Rocha Pinto, P., Gardner, P.: A perspective on specifying and verifying concurrent modules. J. Log. Algebr. Methods Program. 98, 1\u201325 (2018)","journal-title":"J. Log. Algebr. Methods Program."},{"issue":"1","key":"3_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0956796899003329","volume":"9","author":"C Flanagan","year":"1999","unstructured":"Flanagan, C., Felleisen, M.: The semantics of future and an application. J. Funct. Program. 9(1), 1\u201331 (1999)","journal-title":"J. Funct. Program."},{"key":"3_CR22","unstructured":"Gavran, I., Niksic, F., Kanade, A., Majumdar, R., Vafeiadis, V.: Rely\/guarantee reasoning for asynchronous programs. In: Aceto, L., de Frutos Escrig, D. (eds.) 26th International Conference on Concurrency Theory (CONCUR 2015), volume 42 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 483\u2013496. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2015)"},{"key":"3_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-319-49812-6_9","volume-title":"Deductive Software Verification \u2013 The KeY Book","author":"D Grahl","year":"2016","unstructured":"Grahl, D., Bubel, R., Mostowski, W., Schmitt, P.H., Ulbrich, M., Wei\u00df, B.: Modular specification and verification. Deductive Software Verification \u2013 The KeY Book. LNCS, vol. 10001, pp. 289\u2013351. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-49812-6_9"},{"issue":"4","key":"3_CR24","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1145\/4472.4478","volume":"7","author":"RH Halstead Jr","year":"1985","unstructured":"Halstead Jr., R.H.: MULTILISP: a language for concurrent symbolic computation. ACM Trans. Program. Lang. Syst. 7(4), 501\u2013538 (1985)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"7","key":"3_CR25","doi-asserted-by":"publisher","first-page":"574","DOI":"10.1145\/361454.361473","volume":"15","author":"PB Hansen","year":"1972","unstructured":"Hansen, P.B.: Structured multiprogramming. Commun. ACM 15(7), 574\u2013578 (1972)","journal-title":"Commun. ACM"},{"key":"3_CR26","volume-title":"Operating System Principles","author":"PB Hansen","year":"1973","unstructured":"Hansen, P.B.: Operating System Principles. Prentice-Hall Inc., Upper Saddle River (1973)"},{"issue":"1","key":"3_CR27","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/568438.568456","volume":"32","author":"D Harel","year":"2001","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic logic. SIGACT News 32(1), 66\u201369 (2001)","journal-title":"SIGACT News"},{"key":"3_CR28","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-1-4757-3472-0_6","volume-title":"The Origin of Concurrent Programming","author":"C. A. R. Hoare","year":"1972","unstructured":"Hoare, C.A.R.: Towards a theory of parallel programming. In: Operating System Techniques, pp. 61\u201371 (1972)"},{"key":"3_CR29","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall Inc., Upper Saddle River (1985)"},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, pp. 273\u2013284 (2008)","DOI":"10.1145\/1328438.1328472"},{"key":"3_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-319-49812-6_7","volume-title":"Deductive Software Verification \u2013 The KeY Book","author":"M Huisman","year":"2016","unstructured":"Huisman, M., Ahrendt, W., Grahl, D., Hentschel, M.: Formal specification with the Java modeling language. Deductive Software Verification \u2013 The KeY Book. LNCS, vol. 10001, pp. 193\u2013241. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-49812-6_7"},{"key":"3_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/978-3-540-31987-0_29","volume-title":"Programming Languages and Systems","author":"A Jeffrey","year":"2005","unstructured":"Jeffrey, A., Rathke, J.: Java JR: fully abstract trace semantics for a core Java language. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol. 3444, pp. 423\u2013438. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-31987-0_29"},{"key":"3_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-642-25271-6_8","volume-title":"Formal Methods for Components and Objects","author":"EB Johnsen","year":"2011","unstructured":"Johnsen, E.B., H\u00e4hnle, R., Sch\u00e4fer, J., Schlatte, R., Steffen, M.: ABS: a core language for abstract behavioral specification. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol. 6957, pp. 142\u2013164. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25271-6_8"},{"issue":"4","key":"3_CR34","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1145\/69575.69577","volume":"5","author":"CB Jones","year":"1983","unstructured":"Jones, C.B.: Tentative steps toward a development method for interfering programs. ACM Trans. Program. Lang. Syst. 5(4), 596\u2013619 (1983)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"Kamburjan, E.: Behavioral program logic. To appear in the proceedings of TABLEAUX 2019, technical report. https:\/\/arxiv.org\/abs\/1904.13338","DOI":"10.1007\/978-3-030-29026-9_22"},{"key":"3_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-319-98938-9_13","volume-title":"Integrated Formal Methods","author":"E Kamburjan","year":"2018","unstructured":"Kamburjan, E., Chen, T.-C.: Stateful behavioral types for active objects. In: Furia, C.A., Winter, K. (eds.) IFM 2018. LNCS, vol. 11023, pp. 214\u2013235. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-98938-9_13"},{"key":"3_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-319-47846-3_19","volume-title":"Formal Methods and Software Engineering","author":"E Kamburjan","year":"2016","unstructured":"Kamburjan, E., Din, C.C., Chen, T.-C.: Session-based compositional analysis for actor-based languages using futures. In: Ogata, K., Lawford, M., Liu, S. (eds.) ICFEM 2016. LNCS, vol. 10009, pp. 296\u2013312. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47846-3_19"},{"key":"3_CR38","unstructured":"Kamburjan, E., Din, C.C., H\u00e4hnle, R., Johnsen, E.B.: Asynchronous cooperative contracts for cooperative scheduling. Technical report, TU Darmstadt (2019). http:\/\/formbar.raillab.de\/en\/techreportcontract\/"},{"key":"3_CR39","unstructured":"Leavens, G.T., et al.: JML Reference Manual, May 2013. Draft revision 2344"},{"key":"3_CR40","doi-asserted-by":"crossref","unstructured":"Liskov, B.H., Shrira, L.: Promises: linguistic support for efficient asynchronous procedure calls in distributed systems. In: Wise, D.S. (ed.) Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation (PLDI 1988), pp. 260\u2013267. ACM Press, June 1988","DOI":"10.1145\/960116.54016"},{"issue":"10","key":"3_CR41","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u201cdesign by contract\u201d. IEEE Comput. 25(10), 40\u201351 (1992)","journal-title":"IEEE Comput."},{"key":"3_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44802-0_1","volume-title":"Computer Science Logic","author":"P O\u2019Hearn","year":"2001","unstructured":"O\u2019Hearn, P., Reynolds, J., Yang, H.: Local reasoning about programs that alter data structures. In: Fribourg, L. (ed.) CSL 2001. LNCS, vol. 2142, pp. 1\u201319. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-44802-0_1"},{"key":"3_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"699","DOI":"10.1007\/978-3-662-49498-1_27","volume-title":"Programming Languages and Systems","author":"AJ Summers","year":"2016","unstructured":"Summers, A.J., M\u00fcller, P.: Actor services. In: Thiemann, P. (ed.) ESOP 2016. LNCS, vol. 9632, pp. 699\u2013726. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49498-1_27"},{"key":"3_CR44","unstructured":"Wei\u00df, B.: Deductive verification of object-oriented software: dynamic frames, dynamic logic and predicate abstraction. Ph.D. thesis, Karlsruhe Institute of Technology (2011)"},{"key":"3_CR45","doi-asserted-by":"crossref","unstructured":"Yonezawa, A., Briot, J.-P., Shibayama, E.: Object-oriented concurrent programming in ABCL\/1. In: Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 1986). Sigplan Notices, vol. 21, no. 11, pp. 258\u2013268, November 1986","DOI":"10.1145\/960112.28722"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-30446-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,19]],"date-time":"2021-01-19T03:13:12Z","timestamp":1611025992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-30446-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030304454","9783030304461"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-30446-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"9 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Oslo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Norway","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/sefm2019.inria.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"89","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"27","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}