| Description |
1 online resource (xiv, 247 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 9037 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 9037. 0302-9743
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| Contents |
Intro; Contents; Tuple-Based Coordination; Replica-Based High-Performance Tuple Space Computing; 1 Introduction; 2 RepliKlaim: Klaim with Replicas; 2.1 RepliKlaim: Syntax; 2.2 RepliKlaim: Semantics; 2.3 RepliKlaim: Examples; 3 Performance Evaluation; 4 Related Works; 5 Conclusion; Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems; 1 Introduction and Related Work; 2 Syntax and Markovian Semantics of OdeLinda; 2.1 Syntax; 2.2 Stochastic Semantics; 3 Differential Semantics of OdeLinda; 3.1 Population Semantics; 3.2 Mean-Field Model |
|
4 Example -- Foraging Ants5 Conclusions and Future Work; Logic Fragments: A Coordination Model Based on Logic Inference; 1 Introduction; 2 Related Works; 2.1 Chemical-Based Coordination Models; 2.2 Formal Approaches for Tuple Based Coordination Models; 3 Logic- and Chemical-Based Coordination Model; 3.1 Definition of the Model; 3.2 Logic Programs; 3.3 Logic Languages; 3.4 Logic Fragments; 3.5 Update of the Container; 4 Case Studies; 4.1 Palindrome Recognition; 4.2 Gradient and Chemotaxis Patterns -- General Programs; 5 Conclusion and Future Works; Coordinating Ensembles |
|
Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles1 Introduction; 2 A Motivating Example; 3 Abstract Syntax and Semantics; 3.1 Abstract Syntax; 3.2 Abstract Semantics; 4 Implementation; 4.1 Compilation; 4.2 Runtime System; 5 Case Studies; 6 Related Work; 7 Future Developments and Conclusions; Dynamic Choreographies; 1 Introduction; 2 Dynamic Interaction-Oriented Choreography (DIOC); 2.1 Connectedness; 2.2 DIOC Semantics; 3 Dynamic Process-Oriented Choreography (DPOC); 3.1 Projection; 3.2 DPOC Semantics; 4 Correctness; 5 Related Works and Discussion |
|
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear -Calculi1 Introduction; 2 The Simply-Typed Linear -calculus with Pairs; 3 Type Systems for Deadlock and Lock Freedom; 4 Type Reconstruction; 5 Constraint Solving; 6 Concluding Remarks; Constraints; A Fixpoint-Based Calculus for Graph-Shaped Computational Fields; 1 Introduction; 2 SMuC: A Soft -calculus for Computations Fields; 3 SMuC at Work: Rescuing Victims; 4 On Distributing SMuC Computations; 5 Related Works; 6 Conclusion; Take Command of Your Constraints!; 1 Introduction |
|
2 Preliminaries: Data Constraints, Constraint Automata3 From Data Constraints to Data Commands; 3.1 Data Commands; 3.2 Precedence; 3.3 Algorithm; 4 Handling Cycles; 5 Preliminary Performance Results; 6 Discussion; A Labelled Semantics for Soft Concurrent Constraint Programming; 1 Introduction; 2 A Few Technical Remarks (with Some Novelty); 2.1 Lattice-Enriched Monoids; 2.2 Some Operators: Residuation and Cylindrification; 3 Deterministic Soft CCP; 3.1 Observational Semantics; 3.2 Saturated Bisimulation; 4 A Labelled Transition System for Soft CCP |
| Summary |
This book constitutes the refereed proceedings of the 17th International Conference on Coordination Models and Languages, COORDINATION 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, in Grenoble, France, in June 2015. The 14 full papers and one short paper presented were carefully reviewed and selected from 36 submissions. They are organized in topical sections on tuple-based coordination, coordinating ensembles, constraints, agent-oriented techniques and shared spaces |
| Notes |
International conference proceedings |
|
Includes author index |
|
Online resource; title from PDF title page (SpringerLink, viewed May 8, 2015) |
| Subject |
Software architecture -- Congresses
|
|
Electronic data processing -- Distributed processing -- Congresses
|
|
Computer programming -- Congresses
|
|
Computer programming
|
|
Electronic data processing -- Distributed processing
|
|
Software architecture
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Holvoet, Tom, editor
|
|
Viroli, Mirko, editor
|
|
International Federated Conferences on Distributed Computing Techniques (10th : 2015 : Grenoble, France)
|
| ISBN |
9783319192826 |
|
3319192825 |
|
3319192817 |
|
9783319192819 |
|
