Lectures related to Communicating sequential processes

Total Order Broadcast: Consensus Transformation

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

Reliable Storage: Regular Register Algorithm

Covers the specification of a register, sequential and concurrent execution, and correctness properties.

From Algorithms to Architectures

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

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.

Introduction to Scratch

Covers the basics of Scratch programming, including event-driven vs sequential programming and sensor integration for detection.

Markov Chains Decomposition

Covers Markov chains decomposition, LLN proof, Inventory Model application, and average costs.