دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1st ed.
نویسندگان: Simon Bliudze. Laura Bocchi
سری: Lecture Notes in Computer Science 12134
ISBN (شابک) : 9783030500283, 9783030500290
ناشر: Springer International Publishing;Springer
سال نشر: 2020
تعداد صفحات: 407
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 25 مگابایت
کلمات کلیدی مربوط به کتاب مدل ها و زبان های هماهنگی: بیست و دومین کنفرانس بین المللی IFIP WG 6.1 ، هماهنگی 2020 ، به عنوان بخشی از پانزدهمین کنفرانس بین المللی فدراسیون تکنیک های توزیع رایانه ، DisCoTec 2020 ، والتا ، مالت ، 15 تا 19 ژوئن ، 2020 ، مجموعه مقالات: علوم کامپیوتر، مهندسی نرم افزار، سازماندهی سیستم های کامپیوتری و شبکه های ارتباطی، سیستم های اطلاعاتی و خدمات ارتباطی، زبان های برنامه نویسی، کامپایلر، مترجمین
در صورت تبدیل فایل کتاب Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل ها و زبان های هماهنگی: بیست و دومین کنفرانس بین المللی IFIP WG 6.1 ، هماهنگی 2020 ، به عنوان بخشی از پانزدهمین کنفرانس بین المللی فدراسیون تکنیک های توزیع رایانه ، DisCoTec 2020 ، والتا ، مالت ، 15 تا 19 ژوئن ، 2020 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات بیست و دومین کنفرانس بینالمللی مدلها
و زبانهای هماهنگی، COORDINATION 2020 است که قرار بود در ژوئن
2020 در والتا، مالت، به عنوان بخشی از پانزدهمین کنفرانس
بینالمللی فدرال تکنیکهای محاسباتی توزیع شده برگزار شود.
DisCoTec 2020. کنفرانس بهدلیل همهگیری COVID-19 به صورت
مجازی برگزار شد.
12 مقاله کامل و 6 مقاله کوتاه موجود در این جلد با دقت بررسی و
از بین 30 مقاله ارسالی انتخاب شدند. آنها در این جلد همراه با
2 آموزش دعوت شده و 4 مقاله ابزار ارائه شده اند. مقالات در بخش
های موضوعی زیر سازماندهی شده اند: آموزش; زبان های هماهنگی؛
ارتباطات مبتنی بر پیام؛ ارتباطات: انواع و اجراها. محاسبات
سرویس گرا؛ سیستم های غیرمتمرکز در مقیاس بزرگ؛ قراردادهای
هوشمند؛ مدل سازی؛ تأیید و تجزیه و تحلیل.
This book constitutes the proceedings of the 22nd
International Conference on Coordination Models and
Languages, COORDINATION 2020, which was due to be held in
Valletta, Malta, in June 2020, as part of the 15th
International Federated Conference on Distributed Computing
Techniques, DisCoTec 2020. The conference was held virtually
due to the COVID-19 pandemic.
The 12 full papers and 6 short papers included in this volume
were carefully reviewed and selected from 30 submissions.
They are presented in this volume together with 2 invited
tutorials and 4 tool papers. The papers are organized in the
following topical sections: tutorials; coordination
languages; message-based communication; communications: types
& implementations; service-oriented computing; large-scale
decentralized systems; smart contracts; modelling;
verification & analysis.
Front Matter ....Pages i-xvii
Front Matter ....Pages 1-1
CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems (Marco Autili, Amleto Di Salle, Claudio Pompilio, Massimo Tivoli)....Pages 3-19
Choreographic Development of Message-Passing Applications (Alex Coto, Roberto Guanciale, Emilio Tuosto)....Pages 20-36
Front Matter ....Pages 37-37
ARx: Reactive Programming for Synchronous Connectors (José Proença, Guillermina Cledou)....Pages 39-56
Towards Energy-, Time- and Security-Aware Multi-core Coordination (Julius Roeder, Benjamin Rouxel, Sebastian Altmeyer, Clemens Grelck)....Pages 57-74
Front Matter ....Pages 75-75
Team Automata@Work: On Safe Communication (Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn)....Pages 77-85
Choreography Automata (Franco Barbanera, Ivan Lanese, Emilio Tuosto)....Pages 86-106
A Choreography-Driven Approach to APIs: The OpenDXL Case Study (Leonardo Frittelli, Facundo Maldonado, Hernán Melgratti, Emilio Tuosto)....Pages 107-124
Front Matter ....Pages 125-125
Implementing Multiparty Session Types in Rust (Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida)....Pages 127-136
GoPi: Compiling Linear and Static Channels in Go (Marco Giunti)....Pages 137-152
SFJ: An Implementation of Semantic Featherweight Java (Artem Usov, Ornela Dardha)....Pages 153-168
Front Matter ....Pages 169-169
Event-Based Customization of Multi-tenant SaaS Using Microservices (Espen Tønnessen Nordli, Phu H. Nguyen, Franck Chauvel, Hui Song)....Pages 171-180
Quality of Service Ranking by Quantifying Partial Compliance of Requirements (Agustín Eloy Martinez Suñé, Carlos Gustavo Lopez Pombo)....Pages 181-189
Front Matter ....Pages 191-191
Time-Fluid Field-Based Coordination (Danilo Pianini, Stefano Mariani, Mirko Viroli, Franco Zambonelli)....Pages 193-210
Resilient Distributed Collection Through Information Speed Thresholds (Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli)....Pages 211-229
Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited (Nicolas Gast, Diego Latella, Mieke Massink)....Pages 230-239
Front Matter ....Pages 241-241
A True Concurrent Model of Smart Contracts Executions (Massimo Bartoletti, Letterio Galletta, Maurizio Murgia)....Pages 243-260
Renegotiation and Recursion in Bitcoin Contracts (Massimo Bartoletti, Maurizio Murgia, Roberto Zunino)....Pages 261-278
Front Matter ....Pages 279-279
Architecture Modelling of Parametric Component-Based Systems (Maria Pittou, George Rahonis)....Pages 281-300
Weighted PCL over Product Valuation Monoids (Vagia Karyoti, Paulina Paraponiari)....Pages 301-319
Operational Representation of Dependencies in Context-Dependent Event Structures (G. Michele Pinna)....Pages 320-338
Front Matter ....Pages 339-339
Towards a Formally Verified EVM in Production Environment (Xiyue Zhang, Yi Li, Meng Sun)....Pages 341-349
On Implementing Symbolic Controllability (Adrian Francalanza, Jasmine Xuereb)....Pages 350-369
Combining SLiVER with CADP to Analyze Multi-agent Systems (Luca Di Stefano, Frédéric Lang, Wendelin Serwe)....Pages 370-385
Formal Modeling and Analysis of Medical Systems (Mahsa Zarneshan, Fatemeh Ghassemi, Marjan Sirjani)....Pages 386-402
Back Matter ....Pages 403-403