Concurrent and Real-Time Programming: Principles and Applications
暫譯: 並發與即時程式設計：原則與應用

Professor Manuel I. Capel leads the Concurrent Systems Research Group in the Computer Languages and Systems Department at the University of Granada, Spain. His research work includes the study of formal methods (temporal logics and process algebras) applied to the systematic development of real-time embedded systems. Results in this field include a formal specification method for real-time systems through UML-RT model transformation, an on-the-fly model checking algorithm for future interval logic formulas and, more recently, a compositional formal verification method for the critical analysis of systems (MEDISTAM-RT). He published more than 80 papers in journals, books, and conferences; serves as a member of the Editorial Board of the "Journal of Network and Computer Applications" and as Chief Editor of "Annals of Multicore and GPU Programming". He is also a member of the ICSE 2025 research track committee.

教授曼努埃爾·I·卡佩爾（Manuel I. Capel）領導西班牙格拉納達大學計算機語言與系統系的並行系統研究小組。他的研究工作包括將形式方法（時間邏輯和過程代數）應用於實時嵌入式系統的系統開發。這一領域的研究成果包括通過UML-RT模型轉換的實時系統形式規範方法、針對未來區間邏輯公式的即時模型檢查算法，以及最近的系統關鍵分析的組合形式驗證方法（MEDISTAM-RT）。他在期刊、書籍和會議上發表了超過80篇論文；擔任《網絡與計算機應用期刊》（Journal of Network and Computer Applications）的編輯委員會成員，以及《多核與GPU編程年鑑》（Annals of Multicore and GPU Programming）的主編。他也是ICSE 2025研究軌道委員會的成員。