Lectures related to Process calculus

Actor Composition: Principles and Patterns

Explores actor composition principles, patterns, and risk delegation strategies in reactive programming.

Explores the transition from algorithms to hardware architectures in digital system design, covering isomorphic architectures, VHDL implementation, and hardware efficiency metrics.

Total Order Broadcast: Consensus Transformation

Explores causal and total order broadcast in distributed algorithms, including exercises on total-order property and consensus transformation.

The Power of Registers

Covers wait-free implementations of atomic objects, focusing on counters and snapshots, discussing key ideas for enforcing atomicity and wait-freedom.

Untitled