01759nam a2200457Ia 4500001000700000003000400007008004500011010001100056020002200067041001100089100002400100700002800124245003800152260003100190300001100221650002100232650006800253650006500321650007200386650006600458650003700524650008700561650006800648650010400716650006700820650007500887650006500962650005601027900000701083901001501090904001301105905000901118906001601127907000901143908000701152908000701159942001001166999001701176082001001193952009801203015463LIB220712b2010 py ||||| |||| 00| 0 spa d a015463 a978-3-642-13413-5 aIngles aClarke, Dave934733 aAgha, Gul [Eds.]937323 aCoordination models and languages bSpringer,aGermany :c2010 a182 p. aInformatica9527 aObservables for mobile and wireless broadcasting systems916842 aBehavioural contracts with request-reponse operations916843 aNow a workflow language for orchestration in nomadic network916844 aA calculus for boxes and traits in a Java-Like setting916845 aJerlang erlang with joins916846 aA hybrid visual dataflow language for coordination in mobile an hoc network916847 aCompositional construction of real time dataflow network916848 aCoordinating Resource usage though adaptive service provisioning in wireless sensor networks916849 aSimulation and analysis of distributed systems in Klaim916850 aModelling railway interlocking tables using coloured petri nets916851 aEffcient sessions type guided distributed interaction916852 aScalable efficient composite event detection916853 aDE a2011-01-03 aPY- BUAA aS.M. aINFORMATICA a2011 a01 a03 cLIBRO c12429d12429 a681.3 00104070aUAAbUAAd2011-01-18l0o681.3p015463r2020-08-10 00:00:00t1w2020-08-10yLIBRO