Travelled to:1 × Denmark
Collaborated with:D.Coleman J.Steensgaard-Madsen J.W.Hughes M.S.Powell H.Ehrig H.Kreowski L.S.Nielsen J.Abrial I.H.Sørensen J.A.Goguen
Talks about:distribut (2) program (2) partial (1) generat (1) correct (1) specif (1) index (1) kwic (1)
Person: Robin M. Gallimore
DBLP: Gallimore:Robin_M=
Contributed to:
1981Wrote 3 papers:
- PS-1981-ColemanG #correctness #distributed #source code
- Partial Correctness of Distributed Programs (DC, RMG), pp. 138–180.
- PS-1981-ColemanG81a #distributed #source code #specification
- Specification of Distributed Programs (DC, RMG), pp. 181–214.
- PS-1981-Steensgaard-MadsenHPEKNASGCG #generative
- KWIC-index generation (JSM, JWH, MSP, HE, HJK, LSN, JRA, IHS, RMG, DC, JAG), pp. 47–117.