Bell, DA & Zhang, C 1990, 'Description and Treatment of Deadlocks in the Hecodes Distributed Expert System', IEEE Transactions on Systems, Man and Cybernetics, vol. 20, no. 3, pp. 654-664.
View/Download from: Publisher's site
The causes of deadlocks in distributed expert systems are examined, classified, and methods of processing them are put forward. In particular, this problem is discussed within the framework of a working prototype distributed expert system, Hecodes. The effect of the proposed deadlock resolution methods is discussed. © 1990 IEEE
Jay, CB 1990, 'A note on natural numbers objects in monoidal categories', Studia Logica, vol. 48, pp. 389-93.
Jay, CB 1990, 'Languages for triples, bicategories and braided monoidal categories', Cahiers de Topologie et Géométrie Différentielle Catégoriques, vol. 31, pp. 67-81.
Jay, CB 1990, 'The structure of free closed categories', Journal of Pure and Applied Algebra, vol. 66, pp. 271-285.
Jay, CB 1990, Extending properties to categories of partial maps, no. ECS-LFCS 90–107, Edinburgh Univ., Dept. of Comp. Sci..