A semantics for behavior trees using CSP with specification commands

DOI10.1016/j.scico.2010.11.007zbMath1220.68050OpenAlexW1982021181MaRDI QIDQ549693

Ian J. Hayes, Robert J. Colvin

Publication date: 18 July 2011

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2010.11.007

zbMATH Keywords

structural operational semanticsprocess algebrasbehavior treescommunicating sequential processeshierarchical staterequirements modellingspecification commands

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Modelling and analysing neural networks using a hybrid process algebra ⋮ Structural operational semantics through context-dependent behaviour ⋮ A semantics for behavior trees using CSP with specification commands ⋮ Next-preserving branching bisimulation

Uses Software

• AVISPA
• Z
• PAT
• Circus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A semantics for behavior trees using CSP with specification commands
• Global renaming operators in concrete process algebra
• Process algebra with propositional signals
• Mobile ambients
• A structural approach to operational semantics
• CSP theorems for communicating B machines
• CSP with Hierarchical State
• Compositionality Through an Operational Semantics of Contexts
• The Three Platonic Models of Divergence-Strict CSP
• Computer Aided Verification
• FM 2005: Formal Methods

This page was built for publication: A semantics for behavior trees using CSP with specification commands