A syntax-oriented formal system for defining processes.

Clifford R. Hollander

Published in: ACM Annual Conference (1973)

Keyphrases

operational semantics
precisely defined
natural language
machine processable
evolutionary algorithm
process model
dynamic aspects
real time
knowledge base
decision trees
data structure
formal methods
stochastic processes