Author
Number of items: 8.
2009
  • Using Speech Act theory to Analyse Activities in the Software Development Process. (2009) Paul Wernick, Jean Baillie and Vito Veneziano
    • 2007
  • Homophony and Disambiguation Through Sequential Processes in the Evolution of Language. (2007) C. Lyon, C.L. Nehaniv, J. Baillie and S. Warren
    • 2001
  • Deixis and the Development of Naming in Asynchronously Interacting Connectionist Agents. (2001) J. Baillie and C.L. Nehaniv
    • 1999
  • Modelling protein interaction in CCS. (1999) J. Baillie
    • 1994
  • 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
    • 1992
  • Towards a satisfaction relation between CCS specifications and their refinements. (1992) E.J. Baillie
    • 1990
  • A CCS case study: a safety-critical system. (1990) J. Baillie