TY  - CHAP 
AU  - Capel Tuñón, Manuel Isidoro
PY  - 2026
UR  - https://hdl.handle.net/10481/107358
AB  - Introduces concurrent programming, which involves executing multiple processes simultaneously, in contrast to the linear sequence of instructions in sequential programming.
It explains key concepts such as:
• Processes: Independent execution units...
LA  - eng
PB  - Springer Nature
KW  - Concurrent Programming
KW  - Hoare Program Logic
KW  - Concurrent properties verification
KW  - Semaphores
TI  - Introduction to Concurrent Programming
DO  - 10.1007/978-3-031-85233-6_1
ER  -