000			01671nam a2200457Ia 4500
001			015463
003			LIB
008			220712b2010 py ||||| |||| 00| 0 spa d
010			_a015463
020			_a978-3-642-13413-5
041			_aIngles
100			_aClarke, Dave _934733
700			_aAgha, Gul [Eds.] _937323
245			_aCoordination models and languages
260			_bSpringer, _aGermany : _c2010
300			_a182 p.
650			_aInformatica _9527
650			_aObservables for mobile and wireless broadcasting systems _916842
650			_aBehavioural contracts with request-reponse operations _916843
650			_aNow a workflow language for orchestration in nomadic network _916844
650			_aA calculus for boxes and traits in a Java-Like setting _916845
650			_aJerlang erlang with joins _916846
650			_aA hybrid visual dataflow language for coordination in mobile an hoc network _916847
650			_aCompositional construction of real time dataflow network _916848
650			_aCoordinating Resource usage though adaptive service provisioning in wireless sensor networks _916849
650			_aSimulation and analysis of distributed systems in Klaim _916850
650			_aModelling railway interlocking tables using coloured petri nets _916851
650			_aEffcient sessions type guided distributed interaction _916852
650			_aScalable efficient composite event detection _916853
900			_aDE
901			_a2011-01-03
904			_aPY- BUAA
905			_aS.M.
906			_aINFORMATICA
907			_a2011
908			_a01
908			_a03
942			_cLIBRO
999			_c12429 _d12429
082			_a681.3