Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9037)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): COORDINATION: International Conference on Coordination Models and Languages
Conference proceedings info: COORDINATION 2015.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (15 papers)
-
Front Matter
-
Agent-Oriented Techniques
-
Front Matter
-
-
Shared Spaces
-
Front Matter
-
About this book
Keywords
- Abstraction, modeling and modularity
- Algorithmic game theory and mechanism design
- Complex systems
- Concurrency models of computation
- Context specific languages
- Distributed algorithms
- Distributed architectures
- Distributed artificial intelligence
- Distributed programming languages
- Formal language definitions
- Formal methods
- Formal software verification
- Logic and verification by model checking
- Massively parallel systems
- Multi-agent systems
- Process management
- Self-organizing autonomic computing
- Software infrastructure
- Software system models
- Ubiquitous and mobile computing
Editors and Affiliations
-
University of Leuven, Heverlee, Belgium
Tom Holvoet
-
Alma Mater Studiorum--Università di Bologna, Cesena, Italy
Mirko Viroli
Bibliographic Information
Book Title: Coordination Models and Languages
Book Subtitle: 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Editors: Tom Holvoet, Mirko Viroli
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-19282-6
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2015
Softcover ISBN: 978-3-319-19281-9Published: 13 May 2015
eBook ISBN: 978-3-319-19282-6Published: 29 April 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 247
Number of Illustrations: 76 b/w illustrations
Topics: Software Engineering, Logics and Meanings of Programs, Programming Techniques, Programming Languages, Compilers, Interpreters, Algorithm Analysis and Problem Complexity