Towards characterizing bisimilarity of value-passing processes with context-free control.

Pawel Paczkowski

Published in: Electron. Notes Theor. Comput. Sci. (1998)

Keyphrases

context free
context sensitive
grammatical inference
context dependent
context free grammars
context free languages
control system
graph grammars
information retrieval
sufficient conditions
finite state
parse tree
fuzzy logic
markov decision processes
attribute grammars