A Trace-Based Systems Framework: Models, Languages and Semantics

If computer is going to become a new medium to think with and work, if we are going to be able to interact and communicate in multiple modalities, an efficient and intuitive means of supporting our use and interaction with computer must be developed. We specially need ways of encoding mechanisms to support use