Browsing Administrative Staff Authors (Scholarly Publications) by Sponsor "Australian Research Council (ARC)"

Sort by: Order: Results:

Now showing items 1-2 of 2

  • Dual Droplet Functionality: Phototaxis and Photopolymerization 

    Florea, Larisa (American Chemical Society, 2019)
    The use of phototaxis to move droplets in liquids offers the opportunity to emulate natural processes such as the controlled transport of materials in fluidic environments and to undertake chemistry at specific ...

  • Testing Finitary Probabilistic Processes 

    HENNESSY, MATTHEW (2009)
    This paper provides modal- and relational characterisations of may- and must-testing preorders for recursive CSP processes with divergence, featuring probabilistic as well as nondeterministic choice. May testing is ...