Items where Author is "Baillie, J."

Item Type No Grouping

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

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