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