A semantics for behavior trees using CSP with specification commands

DOI10.1016/J.SCICO.2010.11.007zbMATH Open1220.68050OpenAlexW1982021181MaRDI QIDQ549693FDOQ549693

Ian Hayes, Robert 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

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)

Cites Work

• Computer Aided Verification
• Title not available (Why is that?)
• A structural approach to operational semantics
• CSP with Hierarchical State
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A semantics for behavior trees using CSP with specification commands
• CSP theorems for communicating B machines
• Process algebra with propositional signals
• Unifying theories for logic programming
• Mobile ambients
• Compositionality Through an Operational Semantics of Contexts
• FM 2005: Formal Methods
• Title not available (Why is that?)
• Global renaming operators in concrete process algebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Three Platonic Models of Divergence-Strict CSP

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

Uses Software

• AVISPA
• Z
• PAT
• Circus

   Recommendations

• A formal semantics of extended hierarchical state transition matrices using CSP\# 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Formal semantics of XPDL specification in CSP process 👍 👎
• CSP with Hierarchical State 👍 👎

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)