Concurrent and Real-Time Programming: Principles and Applications (Paperback) (ISBN-13: 9783031852329)

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.