001469845 000__ 03882cam\\2200709\i\4500
001469845 001__ 1469845
001469845 003__ OCoLC
001469845 005__ 20230803003349.0
001469845 006__ m\\\\\o\\d\\\\\\\\
001469845 007__ cr\cn\nnnunnun
001469845 008__ 230621s2023\\\\sz\a\\\\o\\\\\101\0\eng\d
001469845 019__ $$a1382691177$$a1382693991
001469845 020__ $$a9783031353611$$q(electronic bk.)
001469845 020__ $$a3031353617$$q(electronic bk.)
001469845 020__ $$z9783031353604
001469845 020__ $$z3031353609
001469845 0247_ $$a10.1007/978-3-031-35361-1$$2doi
001469845 035__ $$aSP(OCoLC)1384435232
001469845 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP$$dOCLCF
001469845 049__ $$aISEA
001469845 050_4 $$aQA76.6
001469845 08204 $$a005.2/7$$223/eng/20230621
001469845 1112_ $$aCOORDINATION (Conference)$$n(25th :$$d2023 :$$cLisbon, Portugal)
001469845 24510 $$aCoordination models and languages :$$b25th IFIP WG 6.1 International Conference, Coordination 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, proceedings /$$cSung-Shik Jongmans, Antónia Lopes, editors.
001469845 24630 $$aCoordination 2023
001469845 264_1 $$aCham :$$bSpringer,$$c[2023]
001469845 264_4 $$c©2023
001469845 300__ $$a1 online resource (xiv, 293 pages) :$$billustrations (some color).
001469845 336__ $$atext$$btxt$$2rdacontent
001469845 337__ $$acomputer$$bc$$2rdamedia
001469845 338__ $$aonline resource$$bcr$$2rdacarrier
001469845 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13908
001469845 500__ $$aIntenational conference proceedings.
001469845 500__ $$aIncludes author index.
001469845 5050_ $$aCollective Adaptive Systems and Aggregate Computing -- Cyber-Physical Systems -- Verification and Testing -- Languages and Processes -- Run-Time Changes.
001469845 506__ $$aAccess limited to authorized users.
001469845 520__ $$aThis book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023. The 12 regular papers and 2 short paper presented in this book were carefully reviewed and selected from 27 submissions. The papers deal with the following topics: Collective Adaptive Systems and Aggregate Computing; Cyber-Physical Systems; Verification and Testing; Languages and Processes; and Run-Time Changes.
001469845 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed June 21, 2023).
001469845 650_0 $$aComputer programming$$vCongresses.
001469845 650_0 $$aElectronic data processing$$xDistributed processing$$vCongresses.
001469845 655_0 $$aElectronic books.
001469845 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001469845 655_7 $$aConference papers and proceedings.$$2lcgft
001469845 7001_ $$aJongmans, Sung-Shik,$$eeditor.
001469845 7001_ $$aLopes, Antónia,$$eeditor.
001469845 7112_ $$aInternational Federated Conferences on Distributed Computing Techniques$$n(18th :$$d2023 :$$cLisbon, Portugal)
001469845 77608 $$iPrint version: $$z3031353609$$z9783031353604$$w(OCoLC)1380389818
001469845 830_0 $$aLecture notes in computer science ;$$v13908.$$x1611-3349
001469845 852__ $$bebk
001469845 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-35361-1$$zOnline Access$$91397441.1
001469845 909CO $$ooai:library.usi.edu:1469845$$pGLOBAL_SET
001469845 980__ $$aBIB
001469845 980__ $$aEBOOK
001469845 982__ $$aEbook
001469845 983__ $$aOnline
001469845 994__ $$a92$$bISE