Using CSP to Model and Analyze TinyOS Applications. - Allan I. McInnes (ECBS, 2009)

A hierarchical control scheme for coordinated motion of mobile manipulators. - Kelvin Gong; Allan I. McInnes (ICARA, 2011)

A Modular Hierarchical Control Scheme for Mobile Manipulation. - Kelvin Gong; Allan I. McInnes (ICARA (selected extended papers), 2011)

ScipySim: towards distributed heterogeneous system simulation for the SciPy platform. - Allan I. McInnes; Brian R. Thorne (SpringSim (TMS-DEVS), 2011)

Formalizing Functional Flow Block Diagrams Using Process Algebra and Metamodels. - Allan I. McInnes; Brandon K. Eames; Russell J. Grover (IEEE Trans. Syst. Man Cybern. Part A, 2011)

Rewards for pairs of Q-learning agents conducive to turn-taking in medium-access games. - Peter A. Raffensperger; Philip J. Bones; Allan I. McInnes; Russell Y. Webb (Adapt. Behav., 2012)

A simple metric for turn-taking in emergent communication. - Peter A. Raffensperger; Russell Y. Webb; Philip J. Bones; Allan I. McInnes (Adapt. Behav., 2012)

Modeling and Analysis of TinyOS Sensor Node Firmware: A CSP Approach. - Allan I. McInnes (ACM Trans. Embed. Comput. Syst., 2013)