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.
Note
Reports are written in Polish.
-
Producer-Consumer problem with a random amount of produced/consumed data [report | lab]
-
Design patterns for concurrency: Active Object [report | lab]
-
Design patterns for concurrency: Executor and Future [report | lab]
-
Introduction to Node.js: asynchronous processing [report | lab]
-
Trace theory: part I [report]
-
Trace theory: part II [report]
-
Petri net [report]
