Search the dblp DataBase
Jane W. Hughes :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jane W. Hughes , Malcolm S. Powell A Reduction Specification for DTL. [Citation Graph (0, 0)][DBLP ] Program Specification, 1981, pp:255-267 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] Program Specification, 1981, pp:47-117 [Conf ] Derek Coleman , Jane W. Hughes The Clean Termination of Pascal Programs. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1979, v:11, n:, pp:195-210 [Journal ] Derek Coleman , Robin M. Gallimore , Jane W. Hughes , Malcolm S. Powell An Assessment of Concurrent Pascal. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1979, v:9, n:10, pp:827-837 [Journal ] Jane W. Hughes , Malcolm S. Powell DTL: A Language for the Design and Implementation of Concurrent Programs as Structured Networks. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1983, v:13, n:12, pp:1099-1112 [Journal ] Jane W. Hughes , Malcolm S. Powell The Implementation of DTL. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1983, v:13, n:12, pp:1113-1128 [Journal ] Derek Coleman , Jane W. Hughes , Malcolm S. Powell A Method for the Syntax Directed Design of Multiprograms. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1981, v:7, n:2, pp:189-196 [Journal ] Search in 0.001secs, Finished in 0.002secs