Clarke, Dave <br/><br/>
Coordination models and languages 

 - Germany :  Springer,  2010 
 - 182 p. 
<br/><br/><label>ISBN: </label>978-3-642-13413-5 
<br/><br/><label>LCCN: </label>015463 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Informatica<br/>Observables for mobile and wireless broadcasting systems<br/>Behavioural contracts with request-reponse operations<br/>Now a workflow language for orchestration in nomadic network<br/>A calculus for boxes and traits in a Java-Like setting<br/>Jerlang erlang with joins<br/>A hybrid visual dataflow language for coordination in mobile an hoc network<br/>Compositional construction of real time dataflow network<br/>Coordinating Resource usage though adaptive service provisioning in wireless sensor networks<br/>Simulation and analysis of distributed systems in Klaim<br/>Modelling railway interlocking tables using coloured petri nets<br/>Effcient sessions type guided distributed interaction<br/>Scalable efficient composite event detection
<br/><br/><label>Dewey Class. No.: </label>681.3