Transformational vs Reactive Refinement in Real-Time Systems.

Simon Atkinson David Scholefield

Published in: Inf. Process. Lett. (1995)

Keyphrases

real time systems
reactive systems
distributed systems
real time
embedded systems
real time database systems
timing constraints
agent architecture
mission critical
architectural model
cooperative
real time embedded