Skip to content

Latest commit

 

History

History
53 lines (36 loc) · 2.73 KB

README.md

File metadata and controls

53 lines (36 loc) · 2.73 KB
Raw

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] Java

  2. Semaphores [report | lab] Java

  3. Producer-Consumer problem [report | lab] Java

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

  5. Dining philosophers problem [report | lab] Java Python

  6. Readers-Writers problem [report | lab] Java Python

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

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

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

  10. Trace theory: part I [report]

  11. Trace theory: part II [report] Python

  12. Petri net [report]

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