{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T04:19:19Z","timestamp":1742962759885,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319682693"},{"type":"electronic","value":"9783319682709"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-68270-9_9","type":"book-chapter","created":{"date-parts":[[2017,9,26]],"date-time":"2017-09-26T07:17:19Z","timestamp":1506410239000},"page":"169-190","source":"Crossref","is-referenced-by-count":5,"title":["Verifying Properties of Systems Relying on Attribute-Based Communication"],"prefix":"10.1007","author":[{"given":"Rocco","family":"De Nicola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tan","family":"Duong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Omar","family":"Inverso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Mazzanti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,27]]},"reference":[{"key":"9_CR1","unstructured":"AbC2UMC. http:\/\/github.com\/ArBITRAL\/AbC2UMC"},{"key":"9_CR2","unstructured":"UMC. http:\/\/fmt.isti.cnr.it\/umc"},{"key":"9_CR3","unstructured":"UMC Docs. http:\/\/fmt.isti.cnr.it\/umc\/DOCS"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-39570-8_1","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"Y Abd Alrahman","year":"2016","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M.: On the power of attribute-based communication. In: Albert, E., Lanese, I. (eds.) FORTE 2016. LNCS, vol. 9688, pp. 1\u201318. Springer, Cham (2016). doi: 10.1007\/978-3-319-39570-8_1"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1007\/978-3-319-47166-2_38","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","author":"Y Abd Alrahman","year":"2016","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M.: Programming of CAS systems by relying on attribute-based communication. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 539\u2013553. Springer, Cham (2016). doi: 10.1007\/978-3-319-47166-2_38"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1007\/978-3-319-15545-6_20","volume-title":"Software, Services, and Systems","author":"MH Beek ter","year":"2015","unstructured":"ter Beek, M.H., Gnesi, S., Mazzanti, F.: From EU projects to a family of model checkers. In: De Nicola, R., Hennicker, R. (eds.) Software, Services, and Systems. LNCS, vol. 8950, pp. 312\u2013328. Springer, Cham (2015). doi: 10.1007\/978-3-319-15545-6_20"},{"issue":"4","key":"9_CR7","doi-asserted-by":"crossref","first-page":"1021","DOI":"10.1007\/s00182-012-0352-8","volume":"42","author":"P Bir\u00f3","year":"2013","unstructured":"Bir\u00f3, P., Norman, G.: Analysis of stochastic matching markets. Int. J. Game Theo. 42(4), 1021\u20131040 (2013)","journal-title":"Int. J. Game Theo."},{"key":"9_CR8","first-page":"25","volume":"14","author":"T Bolognesi","year":"1987","unstructured":"Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. Comput. Netw. 14, 25\u201359 (1987). https:\/\/doi.org\/10.1016\/0169-7552(87)90085\u20137","journal-title":"Comput. Netw."},{"key":"9_CR9","unstructured":"Brinksma, E.: On the design of extended LOTOS, Doctoral Dissertation. University of Twente (1988)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/978-3-319-51963-0_38","volume-title":"SOFSEM 2017: Theory and Practice of Computer Science","author":"R De Nicola","year":"2017","unstructured":"De Nicola, R., Duong, T., Inverso, O., Trubiani, C.: AErlang at work. In: Steffen, B., Baier, C., Brand, M., Eder, J., Hinchey, M., Margaria, T. (eds.) SOFSEM 2017. LNCS, vol. 10139, pp. 485\u2013497. Springer, Cham (2017). doi: 10.1007\/978-3-319-51963-0_38"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-319-59746-1_2","volume-title":"Coordination Models and Languages","author":"R De Nicola","year":"2017","unstructured":"De Nicola, R., Duong, T., Inverso, O., Trubiani, C.: AErlang: empowering erlang with attribute-based communication. In: Jacquet, J.-M., Massink, M. (eds.) COORDINATION 2017. LNCS, vol. 10319, pp. 21\u201339. Springer, Cham (2017). doi: 10.1007\/978-3-319-59746-1_2"},{"issue":"3","key":"9_CR12","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1016\/j.tcs.2006.02.007","volume":"356","author":"R Nicola De","year":"2006","unstructured":"De Nicola, R., Gorla, D., Pugliese, R.: On the expressive power of KLAIM-based calculi. Theor. Comput. Sci. 356(3), 387\u2013421 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-642-54848-2_5","volume-title":"From Programs to Systems. The Systems perspective in Computing","author":"R Nicola De","year":"2014","unstructured":"De Nicola, R., Lluch Lafuente, A., Loreti, M., Morichetta, A., Pugliese, R., Senni, V., Tiezzi, F.: Programming and verifying component ensembles. In: Bensalem, S., Lakhneck, Y., Legay, A. (eds.) ETAPS 2014. LNCS, vol. 8415, pp. 69\u201383. Springer, Heidelberg (2014). doi: 10.1007\/978-3-642-54848-2_5"},{"issue":"2","key":"9_CR14","doi-asserted-by":"crossref","first-page":"458","DOI":"10.1145\/201019.201032","volume":"42","author":"R Nicola De","year":"1995","unstructured":"De Nicola, R., Vaandrager, F.W.: Three logics for branching bisimulation. J. ACM 42(2), 458\u2013487 (1995). http:\/\/doi.acm.org\/10.1145\/201019.201032","journal-title":"J. ACM"},{"key":"9_CR15","unstructured":"Brinksma, E., Giuseppe Scollo, C.S.: LOTOS specifications, their implementations and their tests. In: Proceedings of IFIP WG6.1, Protocol Specification, Testing, and Verification VI, pp. 349\u2013360 (1987)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Fantechi, A., Gnesi, S., Lapadula, A., Mazzanti, F., Pugliese, R., Tiezzi, F.: A logical verification methodology for service-oriented computing. ACM Transactions on Software Engineering and Methodology (TOSEM) (2012)","DOI":"10.1145\/2211616.2211619"},{"issue":"1","key":"9_CR17","doi-asserted-by":"crossref","first-page":"9","DOI":"10.2307\/2312726","volume":"69","author":"D Gale","year":"1962","unstructured":"Gale, D., Shapley, L.S.: College admissions and the stability of marriage. Am. Math. Mon. 69(1), 9\u201315 (1962)","journal-title":"Am. Math. Mon."},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Groote, J.F., Reniers, M.A.: Algebraic process verification. Eindhoven University of Technology, Department of Mathematics and Computing Science (2000)","DOI":"10.1016\/B978-044482830-9\/50035-7"},{"key":"9_CR19","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)"},{"issue":"2","key":"9_CR20","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/j.scico.2010.07.002","volume":"76","author":"MH Beek ter","year":"2011","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state\/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76(2), 119\u2013135 (2011)","journal-title":"Sci. Comput. Program."},{"key":"9_CR21","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/j.procs.2016.04.112","volume":"83","author":"M K\u00fcmmel","year":"2016","unstructured":"K\u00fcmmel, M., Busch, F., Wang, D.Z.: Taxi dispatching and stable marriage. Proc. Comput. Sci. 83, 163\u2013170 (2016)","journal-title":"Proc. Comput. Sci."},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Lu, S., Park, S., Seo, E., Zhou, Y.: Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In: ACM Sigplan Notices, vol. 43, pp. 329\u2013339. ACM (2008)","DOI":"10.1145\/1346281.1346323"},{"issue":"1\u20132","key":"9_CR23","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/S0304-3975(01)00206-7","volume":"276","author":"DF Manlove","year":"2002","unstructured":"Manlove, D.F., Irving, R.W., Iwama, K., Miyazaki, S., Morita, Y.: Hard variants of stable marriage. Theor. Comput. Sci. 276(1\u20132), 261\u2013279 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-642-16265-7_17","volume-title":"Integrated Formal Methods","author":"R Mateescu","year":"2010","unstructured":"Mateescu, R., Sala\u00fcn, G.: Translating Pi-calculus into LOTOS NT. In: M\u00e9ry, D., Merz, S. (eds.) IFM 2010. LNCS, vol. 6396, pp. 229\u2013244. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-16265-7_17"},{"key":"9_CR25","series-title":"Lecture Notes in Computer Science","volume-title":"A Calculus of Communicating Systems","year":"1980","unstructured":"Milner, R. (ed.): A Calculus of Communicating Systems. LNCS, vol. 92. Springer, Heidelberg (1980)"},{"key":"9_CR26","unstructured":"Song, H., Compton, K.J.: Verifying $$\\pi $$ -calculus processes by promela translation. Technical report CSE-TR-472-03 (2003)"}],"container-title":["Lecture Notes in Computer Science","ModelEd, TestEd, TrustEd"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68270-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T19:51:32Z","timestamp":1570132292000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68270-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319682693","9783319682709"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68270-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}