Coordination Models and Languages

Inhalt

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.