| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 422961 | Electronic Notes in Theoretical Computer Science | 2006 | 6 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
