Coordination Models and Languages 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012, Proceedings / [electronic resource] :
edited by Marjan Sirjani.
- 1st ed. 2012.
- XIV, 277 p. 96 illus. online resource.
- Programming and Software Engineering, 7274 2945-9168 ; .
- Programming and Software Engineering, 7274 .
This book constitutes the refereed proceedings of the 14th International Conference on Coordination Models and Languages, COORDINATION 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 18 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers cover a wide range of topics including coordination of social collaboration processes, coordination of mobile systems in peer-to-peer and ad-hoc networks, programming and reasoning about distributed and concurrent software, types, contracts, synchronization, coordination patterns, and families of distributed systems.
9783642308291
10.1007/978-3-642-30829-1 doi
Software engineering.
Computer programming.
Computer networks .
Computer science.
Application software.
Software Engineering.
Programming Techniques.
Computer Communication Networks.
Models of Computation.
Computer and Information Systems Applications.
QA76.758
005.1
This book constitutes the refereed proceedings of the 14th International Conference on Coordination Models and Languages, COORDINATION 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 18 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers cover a wide range of topics including coordination of social collaboration processes, coordination of mobile systems in peer-to-peer and ad-hoc networks, programming and reasoning about distributed and concurrent software, types, contracts, synchronization, coordination patterns, and families of distributed systems.
9783642308291
10.1007/978-3-642-30829-1 doi
Software engineering.
Computer programming.
Computer networks .
Computer science.
Application software.
Software Engineering.
Programming Techniques.
Computer Communication Networks.
Models of Computation.
Computer and Information Systems Applications.
QA76.758
005.1