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

Li, H., Luo, J., & Li, W. (2014). A formal semantics for debugging synchronous message passing-based concurrent programs. Science China Information Sciences, 57(12), 1-18. https://doi.org/10.1007/s11432-014-5150-4

ISO-690 (author-date, English)

LI, He, LUO, Jie und LI, Wei, 2014. A formal semantics for debugging synchronous message passing-based concurrent programs. Science China Information Sciences. 1 Dezember 2014. Vol. 57, no. 12, p. 1-18. DOI 10.1007/s11432-014-5150-4.

Modern Language Association 9th edition

Li, H., J. Luo, und W. Li. „A Formal Semantics for Debugging Synchronous Message Passing-Based Concurrent Programs“. Science China Information Sciences, Bd. 57, Nr. 12, Dezember 2014, S. 1-18, https://doi.org/10.1007/s11432-014-5150-4.

Mohr Siebeck - Recht (Deutsch - Österreich)

Li, He/Luo, Jie/Li, Wei: A formal semantics for debugging synchronous message passing-based concurrent programs, Science China Information Sciences 2014, 1-18.

Emerald - Harvard

Li, H., Luo, J. und Li, W. (2014), „A formal semantics for debugging synchronous message passing-based concurrent programs“, Science China Information Sciences, Vol. 57 No. 12, S. 1-18.

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