Abstract
Embedded systems behave very dierently from classical machine models: they interact with an unpredictable environment, they never terminate, and learn over time. The behavior of embedded systems has been well-studied in concurrency theory but Wegner [29, 30] recently appealed for a new theory, claiming that the computational features of interaction
... read more