Coordination models and languages : 18th 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 /: 18th 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. (2016)

• Record Type: Book
• Other Titles: COORDINATION 2016
• Further Information: Note: Alberto Lluch Lafuente, José Proença (eds.).
• Editors: Lluch Lafuente, Alberto; Proença, José
• Other Names: COORDINATION (Conference), 18th; International Federated Conferences on Distributed Computing Techniques, 11th
• Contents: Multilevel 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.
• Publisher Details: Switzerland : Springer
• Publication Date: 2016
• Extent: 1 online resource (xiv, 279 pages), illustrations
• Subjects: 005.1/2; Computer science; Software architecture -- Congresses; Electronic data processing -- Distributed processing -- Congresses; Computer programming -- Congresses; Computer programming; Electronic data processing -- Distributed processing; Software architecture; Computers -- Programming -- General; Computers -- Programming Languages -- General; Computers -- Programming -- Algorithms; Computer programming / software development; Programming & scripting languages: general; Algorithms & data structures; Software engineering; Logic design; Computer software; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books; Conference papers and proceedings; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319395197; 3319395181; 9783319395180
• Related ISBNs: 331939519X; 9783319395180
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed June 6, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.