Publisher's Synopsis
A presentation of the underlying principles and applications of executable temporal logic describing research on its use as a programming language. Eight computer scientists outline the "imperative future" approach, showing how a range of dynamic behaviors can be represented within METATEM as a powerful tool for researchers involved with time-depen