001447568 000__ 04162cam\a2200577\a\4500
001447568 001__ 1447568
001447568 003__ OCoLC
001447568 005__ 20230310004124.0
001447568 006__ m\\\\\o\\d\\\\\\\\
001447568 007__ cr\un\nnnunnun
001447568 008__ 220625s2022\\\\sz\\\\\\o\\\\\101\0\eng\d
001447568 019__ $$a1330403923
001447568 020__ $$a9783031081439$$q(electronic bk.)
001447568 020__ $$a3031081439$$q(electronic bk.)
001447568 020__ $$z9783031081422
001447568 020__ $$z3031081420
001447568 0247_ $$a10.1007/978-3-031-08143-9$$2doi
001447568 035__ $$aSP(OCoLC)1330933184
001447568 040__ $$aEBLCP$$beng$$epn$$cEBLCP$$dGW5XE$$dYDX$$dOCLCQ$$dEBLCP$$dOCLCF$$dOCLCQ
001447568 049__ $$aISEA
001447568 050_4 $$aQA76.758$$b.C66 2022eb
001447568 08204 $$a005.1$$223/eng/20220627
001447568 1112_ $$aCOORDINATION (Conference)$$n(24th :$$d2022 :$$cLucca, Italy)
001447568 24510 $$aCoordination models and languages :$$b24th IFIP WG 6. 1 International Conference, COORDINATION 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings /$$cMaurice H. ter Beek, Marjan Sirjani (eds.).
001447568 2463_ $$aCOORDINATION 2022
001447568 260__ $$aCham :$$bSpringer,$$c2022.
001447568 300__ $$a1 online resource (246 pages)
001447568 336__ $$atext$$btxt$$2rdacontent
001447568 337__ $$acomputer$$bc$$2rdamedia
001447568 338__ $$aonline resource$$bcr$$2rdacarrier
001447568 4901_ $$aLecture notes in computer science ;$$v13271
001447568 500__ $$aIncludes author index.
001447568 5050_ $$aFormal Methods for Socio-Technical Security (Formal and Automated Analysis of Security Ceremonies) -- Timed and Probabilistic Systems -- MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems -- A Sound Up-to-n; Bisimilarity for PCTL -- Collective Adaptive Systems and Aggregate Computing Extensible 3D Simulation of Aggregated Systems with FCPP -- Towards Reinforcement Learning-based Aggregate Computing -- A Tool for Reasoning about Collective Systems -- Space- uid Adaptive Sampling: a Field-based, Self-organising Approach -- Processes and Languages -- Formal Choreographic Languages -- A Model of Actors and Grey Failures -- Soft Concurrent Constraint Programming with Local Variables -- Runtime Veri cation and Monitor Synthesis -- A Synthesis Tool for Optimal Monitors in a Branching-Time Setting -- A Monitoring Tool for the Linear-Time HML -- Microservices -- Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs.
001447568 506__ $$aAccess limited to authorized users.
001447568 520__ $$aThis book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022. The 11 regular papers and one short paper presented in this book were carefully reviewed and selected from 22 submissions. COORDINATION provides a well-established forum for the growing community of researchers interested in coordination models and languages, architectures, verification and implementation techniques necessary to cope with the complexity induced by the demands of today's software development.
001447568 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed June 27, 2022).
001447568 650_0 $$aSoftware architecture$$vCongresses.
001447568 650_0 $$aElectronic data processing$$xDistributed processing$$vCongresses.
001447568 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001447568 655_0 $$aElectronic books.
001447568 7001_ $$aBeek, Maurice H. ter.
001447568 7001_ $$aSirjani, Marjan.
001447568 7112_ $$aInternational Federated Conferences on Distributed Computing Techniques$$n(17th :$$d2022 :$$cLucca, Italy)
001447568 77608 $$iPrint version:$$aTer Beek, Maurice H.$$tCoordination Models and Languages.$$dCham : Springer International Publishing AG, ©2022$$z9783031081422
001447568 830_0 $$aLecture notes in computer science ;$$v13271.
001447568 852__ $$bebk
001447568 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-08143-9$$zOnline Access$$91397441.1
001447568 909CO $$ooai:library.usi.edu:1447568$$pGLOBAL_SET
001447568 980__ $$aBIB
001447568 980__ $$aEBOOK
001447568 982__ $$aEbook
001447568 983__ $$aOnline
001447568 994__ $$a92$$bISE