Coordination Models and Languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings / [electronic resource] :
edited by David Clarke, Gul Agha.
- 1st ed. 2010.
- XI, 183 p. 50 illus. online resource.
- Programming and Software Engineering, 6116 2945-9168 ; .
- Programming and Software Engineering, 6116 .
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.
9783642134142
10.1007/978-3-642-13414-2 doi
Computer systems.
Software engineering.
Computer networks .
Computer programming.
Computer science.
Computer System Implementation.
Software Engineering.
Computer Communication Networks.
Programming Techniques.
Models of Computation.
QA76.9.S88
004.2
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.
9783642134142
10.1007/978-3-642-13414-2 doi
Computer systems.
Software engineering.
Computer networks .
Computer programming.
Computer science.
Computer System Implementation.
Software Engineering.
Computer Communication Networks.
Programming Techniques.
Models of Computation.
QA76.9.S88
004.2