A Vector C and Fortran Compiler for the FPS T-Series: Experiences with compiling to occam I (1992)

Cached

Download Links

by Occam I , D. E. Stevenson , L. K. Ammons , G. L. Raj

Active Bibliography

1191 On the Criteria To Be Used in Decomposing Systems into Modules – D. L. Parnas - 1972
1241 The C Programming Language – Dennis M. Ritchie - 1988
536 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
811 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
2130 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
574 Symbolic Model Checking: 10^20 States and Beyond – J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang - 1992
2424 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
995 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
494 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985