Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
American Psychological Association 6th edition

Kapoor, K., Lodaya, K., Reddy, U. S., Kapoor, K., Lodaya, K., & Reddy, U. S. (2011). Fine-Grained Concurrency with Separation Logic. Journal of Philosophical Logic, 40(5), 583-632.

ISO-690 (author-date, English)

KAPOOR, Kalpesh, LODAYA, Kamal, REDDY, Uday S, KAPOOR, Kalpesh, LODAYA, Kamal und REDDY, Uday S, 2011. Fine-Grained Concurrency with Separation Logic. Journal of Philosophical Logic. 1 Oktober 2011. Vol. 40, no. 5, p. 583-632.

Modern Language Association 9th edition

Kapoor, K., K. Lodaya, U. S. Reddy, K. Kapoor, K. Lodaya, und U. S. Reddy. „Fine-Grained Concurrency With Separation Logic“. Journal of Philosophical Logic, Bd. 40, Nr. 5, Oktober 2011, S. 583-32.

Mohr Siebeck - Recht (Deutsch - Österreich)

Kapoor, Kalpesh/Lodaya, Kamal/Reddy, Uday S/Kapoor, Kalpesh/Lodaya, Kamal/Reddy, Uday S: Fine-Grained Concurrency with Separation Logic, Journal of Philosophical Logic 2011, 583-632.

Emerald - Harvard

Kapoor, K., Lodaya, K., Reddy, U.S., Kapoor, K., Lodaya, K. und Reddy, U.S. (2011), „Fine-Grained Concurrency with Separation Logic“, Journal of Philosophical Logic, Vol. 40 No. 5, S. 583-632.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.