| 1983 |
|---|
| 7 | | Jane W. Hughes,
Malcolm S. Powell:
DTL: A Language for the Design and Implementation of Concurrent Programs as Structured Networks.
Softw., Pract. Exper. 13(12): 1099-1112 (1983) |
| 6 | | Jane W. Hughes,
Malcolm S. Powell:
The Implementation of DTL.
Softw., Pract. Exper. 13(12): 1113-1128 (1983) |
| 1981 |
|---|
| 5 | | Jane W. Hughes,
Malcolm S. Powell:
A Reduction Specification for DTL.
Program Specification 1981: 255-267 |
| 4 | | Jørgen Steensgaard-Madsen,
Jane W. Hughes,
Malcolm S. Powell,
Hartmut Ehrig,
Hans-Jörg Kreowski,
Leif Sandegaard Nielsen,
Jean-Raymond Abrial,
Ib Holm Sørensen,
Robin M. Gallimore,
Derek Coleman,
Joseph A. Goguen:
KWIC-index generation.
Program Specification 1981: 47-117 |
| 3 | | Derek Coleman,
Jane W. Hughes,
Malcolm S. Powell:
A Method for the Syntax Directed Design of Multiprograms.
IEEE Trans. Software Eng. 7(2): 189-196 (1981) |
| 1979 |
|---|
| 2 | | Derek Coleman,
Jane W. Hughes:
The Clean Termination of Pascal Programs.
Acta Inf. 11: 195-210 (1979) |
| 1 | | Derek Coleman,
Robin M. Gallimore,
Jane W. Hughes,
Malcolm S. Powell:
An Assessment of Concurrent Pascal.
Softw., Pract. Exper. 9(10): 827-837 (1979) |
