A Resource-Based Prioritized Bisimulation for Real-Time Systems

Richard Gerber Insup Lee

Published in: Inf. Comput. (1994)

Keyphrases

real time systems
distributed systems
real time
resource allocation
embedded systems
timing constraints
real time database systems
mission critical
resource management
real time embedded
architectural model
artificial intelligence
cooperative
resource constraints
resource consumption
embedded real time systems