{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:31:15Z","timestamp":1742956275022,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030500283"},{"type":"electronic","value":"9783030500290"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-50029-0_19","type":"book-chapter","created":{"date-parts":[[2020,6,9]],"date-time":"2020-06-09T23:03:55Z","timestamp":1591743835000},"page":"301-319","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Weighted PCL over Product Valuation Monoids"],"prefix":"10.1007","author":[{"given":"Vagia","family":"Karyoti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulina","family":"Paraponiari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,6,10]]},"reference":[{"unstructured":"http:\/\/maude.cs.illinois.edu\/w\/index.php\/The_Maude_System","key":"19_CR1"},{"issue":"2","key":"19_CR2","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/s00165-015-0349-8","volume":"28","author":"P Attie","year":"2015","unstructured":"Attie, P., Baranov, E., Bliudze, S., Jaber, M., Sifakis, J.: A general framework for architecture composability. Formal Aspects Comput. 28(2), 207\u2013231 (2015). https:\/\/doi.org\/10.1007\/s00165-015-0349-8","journal-title":"Formal Aspects Comput."},{"unstructured":"Bozga, M., Iosif, R., Sifakis, J.: Local reasoning about parametric and reconfigurable component-based systems. hal-02267423 (2019)","key":"19_CR3"},{"doi-asserted-by":"publisher","unstructured":"Chatterjee, K., Doyen, L., Henzinger, T.: Expressiveness and closure properties for quantitative languages. In: 2009 24th Annual IEEE Symposium on Logic In Computer Science, pp. 199\u2013208. IEEE (2009). https:\/\/doi.org\/10.1109\/LICS.2009.16","key":"19_CR4","DOI":"10.1109\/LICS.2009.16"},{"issue":"4","key":"19_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1805950.1805953","volume":"11","author":"K Chatterjee","year":"2010","unstructured":"Chatterjee, K., Doyen, L., Henzinger, T.: Quantitative languages. ACM Trans. Comput. Log. 11(4), 1\u201338 (2010). https:\/\/doi.org\/10.1145\/1805950.1805953","journal-title":"ACM Trans. Comput. Log."},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-319-95246-8_9","volume-title":"Principles of Modeling","author":"K Chatterjee","year":"2018","unstructured":"Chatterjee, K., Henzinger, T.A., Otop, J.: Computing average response time. In: Lohstroh, M., Derler, P., Sirjani, M. (eds.) Principles of Modeling. LNCS, vol. 10760, pp. 143\u2013161. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-95246-8_9"},{"issue":"08","key":"19_CR7","doi-asserted-by":"publisher","first-page":"1829","DOI":"10.1142\/S0129054111009069","volume":"22","author":"M Droste","year":"2011","unstructured":"Droste, M., Meinecke, I.: Weighted automata and regular expressions over valuation monoids. Int. J. Found. Comput. Sci. 22(08), 1829\u20131844 (2011). https:\/\/doi.org\/10.1142\/S0129054111009069","journal-title":"Int. J. Found. Comput. Sci."},{"key":"19_CR8","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1016\/j.ic.2012.10.001","volume":"220","author":"M Droste","year":"2012","unstructured":"Droste, M., Meinecke, I.: Weighted automata and weighted MSO logics for average and long-time behaviors. Inf. Comput. 220, 44\u201359 (2012). https:\/\/doi.org\/10.1016\/j.ic.2012.10.001","journal-title":"Inf. Comput."},{"issue":"2","key":"19_CR9","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/857076.857078","volume":"35","author":"P Eugster","year":"2003","unstructured":"Eugster, P., Felber, P., Guerraoui, R., Kermarrec, A.M.: The many faces of publish\/subscribe. ACM Comput. Surv. 35(2), 114\u2013131 (2003). https:\/\/doi.org\/10.1145\/857076.857078","journal-title":"ACM Comput. Surv."},{"doi-asserted-by":"publisher","unstructured":"Hasan, S., O\u2019Riain, S., Curry, E.: Approximate semantic matching of heterogeneous events. In: Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems, pp. 252\u2013263 (2012). https:\/\/doi.org\/10.1145\/2335484.2335512","key":"19_CR10","DOI":"10.1145\/2335484.2335512"},{"doi-asserted-by":"crossref","unstructured":"Karyoti, V., Paraponiari, P.: Weighted PCL over product valuation monoids. arXiv preprint https:\/\/arxiv.org\/abs\/2002.10973 (2020)","key":"19_CR11","DOI":"10.1007\/978-3-030-50029-0_19"},{"doi-asserted-by":"publisher","unstructured":"Malavolta, I., Lewis, G., Schmerl, B., Lago, P., Garlan, D.: How do you architect your robots? State of the practice and guidelines for ROS-based systems. In: Proceedings of ICSE-CEIP. ACM (2020). https:\/\/doi.org\/10.1145\/3377813.3381358","key":"19_CR12","DOI":"10.1145\/3377813.3381358"},{"issue":"1","key":"19_CR13","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.jlamp.2016.05.002","volume":"86","author":"A Mavridou","year":"2017","unstructured":"Mavridou, A., Baranov, E., Bliudze, S., Sifakis, J.: Configuration logics: modeling architecture styles. J. Log. Algebraic Methods Program. 86(1), 2\u201329 (2017). https:\/\/doi.org\/10.1016\/j.jlamp.2016.05.002","journal-title":"J. Log. Algebraic Methods Program."},{"doi-asserted-by":"publisher","unstructured":"Olivieri, A., Rizzo, G., Morand, F.: A publish-subscribe approach to IoT integration: the smart office use case. In: Proceedings of the 29th International Conference on Advanced Information Networking and Applications Workshops, pp. 644\u2013651. IEEE (2015). https:\/\/doi.org\/10.1109\/WAINA.2015.28","key":"19_CR14","DOI":"10.1109\/WAINA.2015.28"},{"doi-asserted-by":"publisher","unstructured":"Otop, J., Henzinger, T., Chatterjee, K.: Quantitative automata under probabilistic semantics. Log. Methods Comput. Sci. 15(3) (2019). https:\/\/doi.org\/10.23638\/LMCS-15(3:16)2019","key":"19_CR15","DOI":"10.23638\/LMCS-15(3:16)2019"},{"unstructured":"Paraponiari, P., Rahonis, G.: Weighted propositional configuration logics: a specification language for architectures with quantitative features. Inform. Comput. (accepted). https:\/\/arxiv.org\/abs\/1704.04969","key":"19_CR16"},{"key":"19_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-319-68034-7_6","volume-title":"Formal Aspects of Component Software","author":"P Paraponiari","year":"2017","unstructured":"Paraponiari, P., Rahonis, G.: On weighted configuration logics. In: Proen\u00e7a, J., Lumpe, M. (eds.) FACS 2017. LNCS, vol. 10487, pp. 98\u2013116. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68034-7_6"},{"key":"19_CR18","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-981-10-2750-5_30","volume-title":"Proceedings of International Conference on Communication and Networks","author":"S Patel","year":"2017","unstructured":"Patel, S., Jardosh, S., Makwana, A., Thakkar, A.: Publish\/subscribe mechanism for IoT: a survey of event matching algorithms and open research challenges. In: Modi, N., Verma, P., Trivedi, B. (eds.) Proceedings of International Conference on Communication and Networks. AISC, vol. 508, pp. 287\u2013294. Springer, Singapore (2017). https:\/\/doi.org\/10.1007\/978-981-10-2750-5_30"},{"key":"19_CR19","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1016\/j.ins.2016.09.020","volume":"387","author":"K Yang","year":"2017","unstructured":"Yang, K., Zhang, K., Jia, X., Hasan, M.A., Shen, X.: Privacy-preserving attribute-keyword based data publish-subscribe service on cloud platforms. Inf. Sci. 387, 116\u2013131 (2017). https:\/\/doi.org\/10.1016\/j.ins.2016.09.020","journal-title":"Inf. Sci."}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-50029-0_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,9]],"date-time":"2024-06-09T23:04:30Z","timestamp":1717974270000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-50029-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030500283","9783030500290"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-50029-0_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"10 June 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COORDINATION","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Coordination Languages and Models","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Valletta","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Malta","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 June 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 June 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.discotec.org\/2020\/coordination","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":"30","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":"12","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":"6","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":"40% - 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":"3","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)"}},{"value":"2 invited tutorials and 4 tool papers. The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}