RESOURCE CONTROLLERS

1.

Synthesizing Code for Resource Controllers
Ramamritham
IEEE Trans. on Software Engineering, Vol. SE-11(8):774-83, August 1985.

2.

Verification of Resource Controller Processes
Ramamritham
Information Systems, Vol. 12(1):57-67, 1987

3.

Resource Controller Tasks in ADA: Their Structure and Semantics
Ramamritham
Proceedings for the International Conference on Software Engineering, March 1984, pp. 67-76

4.

Specification of Synchronization Processes
Ramamritham, Keller
IEEE Trans. on Software Engin., Vol. SE-9(6):722-33, Nov. 1983.

5.

Correctness of a Dist. Transaction System
Ramamritham
Information Systems, Vol. 8(4):309-24, 1983