congard / concurrency-theory-labs

Theory of Concurrency - labs at the AGH University of Science and Technology

Concurrency Theory Labs

My Concurrency Theory labs at the AGH University of Science and Technology (AGH University of Kraków).

The subject introduces abstract models of concurrent processing and applied in the practice of software engineering, methods of analyzing concurrent systems.

Labs

Note

Reports are written in Polish.

1. Introduction: race conditions [report | lab]

2. Semaphores [report | lab]

3. Producer-Consumer problem [report | lab]

4. Producer-Consumer problem with a random amount of produced/consumed data [report | lab]

5. Dining philosophers problem [report | lab]

6. Readers-Writers problem [report | lab]

7. Design patterns for concurrency: Active Object [report | lab]

8. Design patterns for concurrency: Executor and Future [report | lab]

9. Introduction to Node.js: asynchronous processing [report | lab]

10. Trace theory: part I [report]

11. Trace theory: part II [report]

12. Petri net [report]

13. Communicating Sequential Processes (CSP) [report | lab]