Dynamic networks of heterogeneous timed machines

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

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

80 Downloads (Pure)

3 results

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