Search Results - Attard, Duncan Paul

  • Showing 1 - 6 results of 6
Refine Results
  1. 1
    A monitoring tool for linear-time μHML

    A monitoring tool for linear-time μHML by Aceto, Luca, Achilleos, Antonis, Attard, Duncan Paul, Exibard, Léo, Francalanza, Adrian, Ingólfsdóttir, Anna

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Special Delivery: Programming with Mailbox Types

    Special Delivery: Programming with Mailbox Types by Fowler, Simon, Attard, Duncan Paul, Sowul, Franciszek, Gay, Simon J., Trinder, Phil

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Runtime Instrumentation for Reactive Components (Extended Version)

    Runtime Instrumentation for Reactive Components (Extended Version) by Aceto, Luca, Attard, Duncan Paul, Francalanza, Adrian, Ingólfsdóttir, Anna

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Special Delivery: Programming with Mailbox Types (Extended Version)

    Special Delivery: Programming with Mailbox Types (Extended Version) by Fowler, Simon, Attard, Duncan Paul, Sowul, Franciszek, Gay, Simon J, Trinder, Phil

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    A Choreographed Outline Instrumentation Algorithm for Asynchronous Components

    A Choreographed Outline Instrumentation Algorithm for Asynchronous Components by Aceto, Luca, Attard, Duncan Paul, Francalanza, Adrian, Ingólfsdóttir, Anna

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    A comparison between atmospheric/humidity and vacuum cyanoacrylate fuming of latent fingermarks

    A comparison between atmospheric/humidity and vacuum cyanoacrylate fuming of latent fingermarks by Farrugia, Kevin J, Fraser, Joanna, Friel, Lauren, Adams, Duncan, Attard-Montalto, Nicola, Deacon, Paul

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: