1 paper · 1 filter
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…