Dynamic networks of heterogeneous timed machines

Jose Luiz Fiadeiro, Antonia Lopes, Benoit Delahaye, Axel Legay

Research output: Contribution to journal › Article › peer-review

99 Downloads (Pure)

3 results

Finished

Semantic Completions: Unifying the wave and the Particle Views of Information
Pavlovic, D. (PI), Fiadeiro, J. L. (CoI) & Vovk, V. (CoI)
1/04/14 → 31/03/17
Project: Research
Modelling and Analysis of Dynamic Networks of Interaction
Fiadeiro, J. L. (PI)
Royal Society
15/11/13 → 14/11/15
Project: Research
Verification and correctness of service-oriented systems
Fiadeiro, J. L. (PI)
Eng & Phys Sci Res Council EPSRC
1/10/12 → 31/12/12
Project: Research