papers
Publications (2)
cs.DC2000
On Automata with Boundary
R. Gates, P. Katis, N. Sabadini +1
We present a theory of automata with boundary for designing, modelling and analysing distributed systems. Notions of behaviour, design and simulation appropriate to the theory are…
astro-ph.SR2014
The Interface Region Imaging Spectrograph (IRIS)
B. De Pontieu, A. M. Title, J. Lemen +85
The Interface Region Imaging Spectrograph (IRIS) small explorer spacecraft provides simultaneous spectra and images of the photosphere, chromosphere, transition region, and corona…