Author Search Results :: UTM Library Massive Scholar Tracking

1

Hierarchical compression for model−checking CSP‚ or How to check 10^20 dining philosophers for deadlock by Roscoe, A, Hulance, D, Scattergood, J

Published 1995

Conference item
2

Formal methods in the development of the H1 Transputer by Roscoe, A, Cox, A, Goldsmith, M, Scattergood, J

Published 1991

Conference item
3

Formal Methods in the development of the H1 transputer by Roscoe, A, Goldsmith, M, Cox, A, Scattergood, J

Published 1991

Conference item
4

Hierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlock by Roscoe, A, Gardiner, P, Goldsmith, M, Hulance, J, Jackson, D, Scattergood, J

Published 1995

Conference item