Action Specifications in log.

Alessandro Provetti Gianfranco Rossi

Published in: APPIA-GULP-PRODE (1997)

Keyphrases

transition systems
high level
delay insensitive
data sets
temporal logic
human actions
formal specification
action rules
case study
image sequences
expert systems
spatio temporal
concurrent systems