Date Item Type No Grouping

Using Speech Act theory to Analyse Activities in the Software Development Process. (2009) Paul Wernick, Jean Baillie and Vito Veneziano

Homophony and Disambiguation Through Sequential Processes in the Evolution of Language. (2007) C. Lyon, C.L. Nehaniv, J. Baillie and S. Warren

Deixis and the Development of Naming in Asynchronously Interacting Connectionist Agents. (2001) J. Baillie and C.L. Nehaniv

Modelling protein interaction in CCS. (1999) J. Baillie

Using testing semantics to show safety and liveness in the development of CCS specifications. (1994) J. Baillie

A conservative extension to CCS for true concurrency semantics. (1994) J. Baillie and D. Smith

Towards a satisfaction relation between CCS specifications and their refinements. (1992) E.J. Baillie

A CCS case study: a safety-critical system. (1990) J. Baillie