Specifying concurrent systems with Δ-grammars.
Simon M. KaplanSteven K. GoeringRoy H. CampbellPublished in: IWSSD (1989)
Keyphrases
- concurrent systems
- temporal logic
- distributed systems
- process algebra
- formal specification
- visual languages
- model checking
- grammatical inference
- transition systems
- context free grammars
- petri net
- context free
- tree grammars
- context free languages
- natural language processing
- syntactic pattern recognition
- stochastic grammar
- grammar induction
- finite state automata
- machine learning
- graph grammars
- tree adjoining
- mildly context sensitive