A semantics for behavior trees using CSP with specification commands

DOI10.1016/J.SCICO.2010.11.007MaRDI QIDQ549693zbMATH OpenOpenAlexFDO

Authors Robert Colvin, Ian Hayes

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

process algebrasstructural operational semanticsbehavior treescommunicating sequential processeshierarchical staterequirements modellingspecification commands

Mathematics Subject Classification ID

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

Recommendations

• A formal semantics of extended hierarchical state transition matrices using CSP\#
• scientific article; zbMATH DE number 1487746
• scientific article; zbMATH DE number 35422
• Formal semantics of XPDL specification in CSP process
• CSP with Hierarchical State

Cites work

• scientific article; zbMATH DE number 3825882 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 46957 (Why is no real title available?)
• scientific article; zbMATH DE number 1354170 (Why is no real title available?)
• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• scientific article; zbMATH DE number 2080001 (Why is no real title available?)
• scientific article; zbMATH DE number 1487740 (Why is no real title available?)
• A semantics for behavior trees using CSP with specification commands
• A structural approach to operational semantics
• CSP theorems for communicating B machines
• CSP with Hierarchical State
• Compositionality Through an Operational Semantics of Contexts
• Computer Aided Verification
• FM 2005: Formal Methods
• Global renaming operators in concrete process algebra
• Mobile ambients
• Process algebra with propositional signals
• The Three Platonic Models of Divergence-Strict CSP
• Unifying theories for logic programming

Cited in

(4)

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

Describes a project that uses

Uses Software

• Circus
• PAT
• Z
• AVISPA

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q549693)