Items where Author is "Baillie, J."

Item Type No Grouping

Article

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

Report

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

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