Specification of Synchronizing Processes.

MLA

Ramamritham, Krithivasan, and Robert M. Keller. “Specification of Synchronizing Processes.” IEEE Transactions on Software Engineering, vol. 9, no. 6, Nov. 1983, pp. 722–33. EBSCOhost, https://doi.org/10.1109/tse.1983.235435.

APA

Ramamritham, K., & Keller, R. M. (1983). Specification of Synchronizing Processes. IEEE Transactions on Software Engineering, 9(6), 722–733. https://doi.org/10.1109/tse.1983.235435

Chicago

Ramamritham, Krithivasan, and Robert M. Keller. 1983. “Specification of Synchronizing Processes.” IEEE Transactions on Software Engineering 9 (6): 722–33. doi:10.1109/tse.1983.235435.