Prefix function view of states and events.

Antoni W. Mazurkiewicz

Published in: Partial Order Methods in Verification (1996)

Keyphrases

event detection
data structure
multiple views
state transitions
temporal information
event types
neural network
database systems
image sequences
probability distribution
temporal data