A semantics for behavior trees using CSP with specification commands (Q549693)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A semantics for behavior trees using CSP with specification commands |
scientific article |
Statements
A semantics for behavior trees using CSP with specification commands (English)
0 references
18 July 2011
0 references
structural operational semantics
0 references
communicating sequential processes
0 references
hierarchical state
0 references
specification commands
0 references
process algebras
0 references
behavior trees
0 references
requirements modelling
0 references
