Prof. Ricci
Labs:
- Lab01: Basics of Java Multithreaded programming
- Lab02: Thread safety and model checking with JPF
- Lab03: Thread coordination in Java
- Lab04: Monitors and GUI design
- Lab05: Mandelbrot case study and TLA+ modeling
- Lab06: Java Executors Framework and Java Virtual Threads
- Lab07: Event loop in Java with
Vert.X
framework - Lab08: Reactive programming with
RxJava
- Lab09: Akka actors
- Lab10: Akka distributed, JavaRMI and Distributed Message Oriented Middlewares