Robin Milner
YOU?
Author Swipe
View article: Using a citizen science approach to assess nanoplastics pollution in remote high-altitude glaciers
Using a citizen science approach to assess nanoplastics pollution in remote high-altitude glaciers Open
Nanoplastics are suspected to pollute every environment on Earth, including very remote areas reached via atmospheric transport. We approached the challenge of measuring environmental nanoplastics by combining high-sensitivity TD-PTR-MS (t…
View article: Using a citizen science approach to assess nanoplastics pollution in remote high-altitude glaciers
Using a citizen science approach to assess nanoplastics pollution in remote high-altitude glaciers Open
Nanoplastics are suspected to pollute every environment on Earth and reach very remote areas, e.g. via airborne transport. We approached the challenge of measuring environmental nanoplastics by combining high-sensitivity TD-PTR-MS (thermal…
View article: Using a Citizen Science Approach to Assess Nanoplastics Pollution in Remote High-Altitude Glaciers
Using a Citizen Science Approach to Assess Nanoplastics Pollution in Remote High-Altitude Glaciers Open
Microplastics have been found in almost every environment on Earth. As it is known that microplastics gradually degrade into smaller particles, eventually reaching the nanoscale, one naturally expects to find nanoplastics in all of the pla…
View article: Chemical Analysis of Organic Aerosol Particles and Nanoplastics Deposited on Alpine Glaciers
Chemical Analysis of Organic Aerosol Particles and Nanoplastics Deposited on Alpine Glaciers Open
<p>Organic aerosols (OAs) have a significant effect on Earth&#8217;s climate due to their radiation scattering properties and potential to be cloud condensation nuclei. OAs occur naturally from biological processes and biomass bu…
View article: On using Edinburgh LCF to prove the correctness of a parsing algorithm
On using Edinburgh LCF to prove the correctness of a parsing algorithm Open
The methodology of Edinburgh LCF, a mechanized interactive proof system is illustrated through a problem suggested by Gloess – the proof of a simple parsing algorithm. The paper is self-contained, giving only the relevant details of the LC…
View article: Bigraphs whose names have multiple locality
Bigraphs whose names have multiple locality Open
The previous definition of binding bigraphs is generalised so that local names may be located in more than one region, allowing more succinct and flexible presentation of bigraphical reactive systems. This report defines the generalisation…
View article: Contexts and embeddings for closed shallow action graphs
Contexts and embeddings for closed shallow action graphs Open
Action calculi, which have a graphical presentation, were introduced to develop a theory shared among different calculi for interactive systems. The π-calculus, the λ-calculus, Petri nets, the Ambient calculus and others may all be represe…
View article: Bigraphs and mobile processes (revised)
Bigraphs and mobile processes (revised) Open
A bigraphical reactive system (BRS) involves bigraphs, in which the nesting of nodes represents locality, independently of the edges connecting them; it also allows bigraphs to reconfigure themselves. BRSs aim to provide a uniform way to m…
View article: Bigraphical reactive systems: basic theory
Bigraphical reactive systems: basic theory Open
A notion of bigraph is proposed as the basis for a model of mobile interaction. A bigraph consists of two independent structures: a topograph representing locality and a monograph representing connectivity. Bigraphs are equipped with react…
View article: Bigraphs and mobile processes
Bigraphs and mobile processes Open
A bigraphical reactive system (BRS) involves bigraphs, in which the nesting of nodes represents locality, independently of the edges connecting them; it also allows bigraphs to reconfigure themselves. BRSs aim to provide a uniform way to m…