000755703 000__ 04184cam\a2200541Ii\4500
000755703 001__ 755703
000755703 005__ 20230306141903.0
000755703 006__ m\\\\\o\\d\\\\\\\\
000755703 007__ cr\cn\nnnunnun
000755703 008__ 160606s2016\\\\sz\a\\\\o\\\\\101\0\eng\d
000755703 020__ $$a9783319395197$$q(electronic book)
000755703 020__ $$a331939519X$$q(electronic book)
000755703 020__ $$z9783319395180
000755703 0247_ $$a10.1007/978-3-319-39519-7$$2doi
000755703 035__ $$aSP(OCoLC)ocn951214509
000755703 035__ $$aSP(OCoLC)951214509
000755703 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dUPM$$dYDXCP$$dOCLCF$$dOCLCO
000755703 049__ $$aISEA
000755703 050_4 $$aQA76.758$$b.C66 2016eb
000755703 08204 $$a005.1/2$$223
000755703 1112_ $$aCOORDINATION (Conference)$$n(18th :$$d2016 :$$cĒrakleion, Greece)
000755703 24510 $$aCoordination models and languages$$h[electronic resource] :$$b18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /$$cAlberto Lluch Lafuente, José Proença (eds.).
000755703 2463_ $$aCOORDINATION 2016
000755703 264_1 $$aSwitzerland :$$bSpringer,$$c2016.
000755703 300__ $$a1 online resource (xiv, 279 pages) :$$billustrations.
000755703 336__ $$atext$$btxt$$2rdacontent
000755703 337__ $$acomputer$$bc$$2rdamedia
000755703 338__ $$aonline resource$$bcr$$2rdacarrier
000755703 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v9686
000755703 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
000755703 500__ $$aInternational conference proceedings.
000755703 500__ $$aIncludes author index.
000755703 5050_ $$aMultilevel Transitive and Intransitive Non-Interference, Causally -- A Game Interpretation of Retractable Contracts -- Where Do Your IoT Ingredients Come from? -- Tuple Spaces Implementations and Their Efficiency -- On-the-Fly Mean-field Model-Checking for Attribute-Based Coordination -- Scheduling Games for Concurrent Systems -- ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations -- Modelling Ambulance Deployment with CARMA -- On Synchronous and Asynchronous Compatibility of Communicating Components -- A Semantic Theory of the Internet of Things -- A Formal Analysis of the Global Sequence Protocol -- Improving Gossip Dynamics through Overlapping Replicates -- From Modelling to Systematic Deployment of Distributed Active Objects -- An Interference-Free Programming Model for Network Objects -- On Sessions and Infinite Data -- On Dynamical Probabilities, or: How to Learn to Shoot Straight.
000755703 506__ $$aAccess limited to authorized users.
000755703 520__ $$aThis book constitutes the proceedings of the 18th International Conference on Coordination Models and Languages, COORDINATION 2016, held in Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016. The 16 full papers included in this volume were carefully reviewed and selected from 44 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: programming and communication abstractions; communication protocols and behavioural types; actors and concurrent objects; tuple spaces; games, interfaces and contracts; information flow policies and dissemination techniques; and probabilistic models and formal verification.
000755703 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed June 6, 2016).
000755703 650_0 $$aSoftware architecture$$vCongresses.
000755703 650_0 $$aElectronic data processing$$xDistributed processing$$vCongresses.
000755703 650_0 $$aComputer programming$$vCongresses.
000755703 7001_ $$aLluch Lafuente, Alberto,$$eeditor.
000755703 7001_ $$aProença, José,$$eeditor.
000755703 7112_ $$aInternational Federated Conferences on Distributed Computing Techniques$$n(11th :$$d2016 :$$cĒrakleion, Greece)$$ejointly held conference.
000755703 830_0 $$aLecture notes in computer science ;$$v9686.
000755703 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000755703 852__ $$bebk
000755703 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-39519-7$$zOnline Access$$91397441.1
000755703 909CO $$ooai:library.usi.edu:755703$$pGLOBAL_SET
000755703 980__ $$aEBOOK
000755703 980__ $$aBIB
000755703 982__ $$aEbook
000755703 983__ $$aOnline
000755703 994__ $$a92$$bISE