Items from Old ECS Groups > Dependable Systems and Software Engineering Research Group in 1992
(Grouped by Item Type)

Article

Montanari, U. and Sassone, V. (1992) Dynamic Congruence vs. Progressing Bisimulation for CCS. Fundamenta Informaticae, 16 (2). pp. 171-199.

Conference or Workshop Item

Gee, D. L. and Hey, A. J. G. (1992) Scientific Applications and Parallel Computing. In: Invited paper at the IMA Conference on Parallel Computation, Oxford.

Gravell, A. M. (1992) Constructive Refinement of First Order Specifications. In: Proc. Proceedings of the 5th BCS FACS Refinement Workshop. pp. 181-210.

Hartel, P. H. and Vree, W. G. (1992) Arrays in a lazy functional language -- a case study: the fast Fourier transform. In: Proc. 2nd Int. Conf. Arrays, functional languages, and parallel systems (ATABLE). pp. 52-66.

Hey, A. J. G. (1992) Applications on Parallel Universal Message-Passing Machines. In: Invited paper at SERC/DTI Conference on "Transputer Applications - Progress and Prospects", Reading.

Hey, A. J. G. (1992) Parallel Universal Message-Passing and Applications. In: Invited paper at International Conference on "Transputers '92 - Advanced Research and Industrial Applications".

Hey, A. J. G. and Paris, E. (1992) Parallel and Distributed Workstation Systems. In: Future Generation Computer Systems.

Langendoen, K. G. and Hartel, P. H. (1992) FCG: a code generator for lazy functional languages. In: Compiler construction (CC 92), LNCS 641. pp. 278-296.

Meseguer, J., Montanari, U. and Sassone, V. (1992) On the Semantics of Petri Nets. In: 3rd International Conference on Concurrency Theory, CONCUR 92.. pp. 286-301.

Shklyar, D. R., Nunn, D., Smith, A. J. and Sazhin, S. S. (1992) An investigation into the Nonlinear Frequency Shift in Magnetospherically propagated VLF Pulses. In: UNSPECIFIED. pp. 19389-402.

Verden, A. R. and Glaser, H. (1992) An AND-Parallel Distributed Prolog Executor. In: Distributed Prolog. pp. 143-158.

Verden, A. R. and Glaser, H. (1992) Intelligent Backtracking in AND-Parallel Prolog. In: Proc. PHOENIX Seminar and Workshop on Declarative Programming. pp. 116-132.

Wild, J. M., Glaser, H. and Hartel, P. H. (1992) Compiling lazy functional languages: A storage management perspective. In: Research Journal. pp. 39-42.

Zwolinski, M., Glaser, H. and Peh, K. (1992) Circuit Simulation - A Functional Programming Approach. In: Research Journal. pp. 99-102.

Technical Report

Baker, K. R., Currie, A. J. and Nichols, K. G. (1992) Combined Control and Data Path Synthesis Based on Accurate Cost Functions. Technical Report , UNSPECIFIED, University of Southampton.

Barendregt, H. P., Beemster, M., Hartel, P. H., Hertzberger, L. O., Hofman, R. F. H., Langendoen, K. G., Li, L. L., Milikowski, R., Mulder, J. C. and Vree, W. G. (1992) Programming clustered parallel reduction machines. Technical Report , UNSPECIFIED, Dept. of Comp. Sys, Univ. of Amsterdam.

Gravell, A. M. (1992) 1-2 trees and -trees: balanced structures for random sequential data. Technical Report , Dept. of Electronics and Computer Science, University of Southampton, UK.

Harrison, R. (1992) A software development methodology. Technical Report , UNSPECIFIED, Dept. of Electr. and Comp. Sci, Univ. of Southampton, UK.

Harrison, R. and Glass, C. A. (1992) Dynamic programming in a pure functional language. Technical Report , UNSPECIFIED, Dept. of Electr. and Comp. Sci, Univ. of Southampton, UK.

Thesis

Butler, M. J. (1992) A CSP Approach to Action Systems. PhD thesis, Oxford University.