APA (7th ed.) Citation

Istrail, S., & Masalagiu, C. (1983). Nivat's processing systems: Decision problems related to protection and synchronization. Theoretical computer science, 26(1), 83-103. https://doi.org/10.1016/0304-3975(83)90080-4

Chicago Style (17th ed.) Citation

Istrail, S., and C. Masalagiu. "Nivat's Processing Systems: Decision Problems Related to Protection and Synchronization." Theoretical Computer Science 26, no. 1 (1983): 83-103. https://doi.org/10.1016/0304-3975(83)90080-4.

MLA (9th ed.) Citation

Istrail, S., and C. Masalagiu. "Nivat's Processing Systems: Decision Problems Related to Protection and Synchronization." Theoretical Computer Science, vol. 26, no. 1, 1983, pp. 83-103, https://doi.org/10.1016/0304-3975(83)90080-4.