Browsing Administrative Staff Authors by Sponsor "Engineering and Physical Sciences Research Council (EPSRC)"
Now showing items 1-6 of 6
-
Dynamics of polymer film formation during spin coating
(2014)Standard models explaining the spin coating of polymer solutions generally fail to describe the early stages of film formation, when hydrodynamic forces control the solution behavior. Using in situ light scattering alongside ... -
Edge-carboxylated graphene nanoflakes from nitric acid oxidised arc-discharge material
(2010)Graphene nanoflakes (GNFs) with average diameters of 30 nm have been prepared by a single-step oxidation procedure using single-wall carbon nanotube arc-discharge material and nitric acid. The GNFs are predominately ... -
Influence of polystyrenesulfonate on electron transfer quenching of ruthenium trisbipyridine luminescence by viologens: Non-covalent assembly and covalent tethering of the ruthenium complex
(2012)A new copolymer (RuB-PSS) of ruthenium(ii)bis-(2,2?-bipyridine)(4- vinyl 2,2?-bipyridine) and styrene sulfonate was prepared which tethers the ruthenium chromophore directly to the polymer backbone. The photophysical ... -
SAFEDPI: A language for controlling mobile code
(2005)safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, which are essentially higher-order ... -
Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems.
(Elsevier, 2004)We de ne a typed bisimulation equivalence for the language Dpi, a dis- tributed version of the -calculus in which processes may migrate between dynamically created locations. It takes into account resource access policies, ... -
Type-safe execution of mobile agents in anonymous networks (Extended Abstract).
(Springer-Verlag, 1999)We study type-safety properties of open distributed systems of mobile agents, where not all sites are known to be well-typed. We adopt the underlying model of an anonymous network, allowing that code may be corrupted on ...