Defining Distributed Systems

Leslie shares his evolving perspective on distributed systems, highlighting the distinction between inter-process communication and single-processor events. He emphasizes that while definitions may change, the formalism used to specify and reason about these systems remains consistent across different types of concurrent systems.