Structural Operational Specifications and the Trace Automata.
Éric BadouelPhilippe DarondeauPublished in: CONCUR (1992)
Keyphrases
- finite state machines
- execution traces
- finite state
- formal specification
- cellular automata
- structural information
- information systems
- decision making
- website
- operational semantics
- pattern matching
- finite state automata
- structural analysis
- real world
- natural language
- multi agent
- high level
- social networks
- artificial intelligence