Challenges in Timed Languages: from applied theory to basic theory (Column: Concurrency).

Published in: Bull. EATCS (2004)

Keyphrases

theoretical framework
theoretical foundation
expressive power
database systems
real time
artificial intelligence
expert systems
computational model
distributed databases
theoretical basis