Efficient algorithms for listing unlabeled graphs

Available from British Library Document Supply Centre- DSC:4534.9203(EU-CSR--7-90) / BLDSC - British Library Document Supply CentreSIGLEGBUnited Kingdo

A metric characterization of fair computations in CCS

SIGLEAvailable from British Library Lending Division - LD:4534.9203(CSR--169-84) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Counting paths Nondeterminism as linear algebra

SIGLEAvailable from British Library Lending Division - LD:4534.9203(CSR--134-83) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Partitioning programmable logic arrays

SIGLEAvailable from British Library Lending Division - LD:4534.9203(CSR--166-84) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Proceedings of Workshop on Process Algebra and Performance Modelling

Workshop held 21 May 1993Available from British Library Document Supply Centre- DSC:9109.386(EU-DCS-CSR--26-93) / BLDSC - British Library Document Supply CentreSIGLEGBUnited Kingdo

The complexity of finding minimum-length generator sequences

Available from British Library Lending Division - LD:4534.9203(CSR--139-83) / BLDSC - British Library Document Supply CentreSIGLEGBUnited Kingdo

Action structures

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--92-249) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

A semantics for static type inference

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--92-245) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

The elusiveness of large cliques in a random graph

SIGLEAvailable from British Library Document Supply Centre- DSC:4534.9203(CSR--9-90) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Behavioural correctness of data representations

SIGLEAvailable from British Library Lending Division - LD:4534.9203(CSR--185-85) / BLDSC - British Library Document Supply CentreGBUnited Kingdo