Modelling Dynamically Changing Hardware Structure
George J. Milne · Electronic Notes in Theoretical Computer Science · 2006
Techniques for modelling reconfigurable computing hardware using a process algebra are given. Dynamically changing hardware is modelled using a process algebra with dynamic sorts, where the sort changes through time. A programming technique based on this dynamic structure process algebra is outlined.