@misc{10481/107358,
year = {2026},
month = {1},
url = {https://hdl.handle.net/10481/107358},
abstract = {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 that perform tasks concurrently.
• Concurrency Benefits: Improves efficiency, especially for tasks with frequent input/
output operations, and allows parallelism even with limited processor cores.
• Concurrency Model: Describes how concurrent programs handle synchronization,
communication and execution order using techniques like mutual exclusion and synchronization primitives.
• Process Creation: Covers methods like fork/join and POSIX threads, which enable dynamic process creation and concurrent task execution.
The chapter highlights how concurrent programs better reflect real-world systems where multiple activities happen simultaneously, enhancing program efficiency and responsiveness.},
publisher = {Springer Nature},
keywords = {Concurrent Programming},
keywords = {Hoare Program Logic},
keywords = {Concurrent properties verification},
keywords = {Semaphores},
title = {Introduction to Concurrent Programming},
doi = {10.1007/978-3-031-85233-6_1},
author = {Capel Tuñón, Manuel Isidoro},
}