Playing with Time: On the Specification and Execution of Time-Enriched LSCs.
David HarelRami MarellyPublished in: MASCOTS (2002)
Keyphrases
- control flow
- execution model
- code generation
- active rules
- formal methods
- computer games
- formal specification
- data sets
- state transition
- game playing
- dynamic environments
- active databases
- query language
- high level
- plan generation
- website
- computational grids
- real time
- asynchronous circuits
- execution environment
- concurrent execution
- advanced transaction models