Coordination Models and Languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Clarke, Dave (Επιμελητής έκδοσης), Agha, Gul (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Computer Science, 6116
• Θέματα: Computer science.; Computer communication systems.; Architecture, Computer.; Software engineering.; Computer programming.; Computers.; Computer Science.; Computer System Implementation.; Software Engineering/Programming and Operating Systems.; Computer Communication Networks.; Software Engineering.; Programming Techniques.; Models and Principles.

Πίνακας περιεχομένων:

• Observables for Mobile and Wireless Broadcasting Systems
• Behavioural Contracts with Request-Response Operations
• NOW: A Workflow Language for Orchestration in Nomadic Networks
• A Calculus for Boxes and Traits in a Java-Like Setting
• JErlang: Erlang with Joins
• A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc Networks
• Compositional Construction of Real-Time Dataflow Networks
• Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks
• Simulation and Analysis of Distributed Systems in Klaim
• Modelling Railway Interlocking Tables Using Coloured Petri Nets
• Efficient Session Type Guided Distributed Interaction
• Scalable Efficient Composite Event Detection.