They are used to describe the potential behavior of discrete systems, consisting of states and transitions between them which may be labeled with labels chosen from a set. Transition systems coincide mathematically with abstract rewriting systems and directed graphs, and differ from finite-state automata in several ways.
University of Washington
Winter 2022
This senior-level course offers deep insights into the construction of distributed systems like client-server computing, web, cloud computing, and peer-to-peer systems. Major topics include remote procedure call, error management, and consistency of distributed state. Noted for its intellectually challenging and career-relevant approach.
No concepts data
+ 24 more conceptsUniversity of Washington
Spring 2021
University of Washington's course develops rigorous tools to study the meaning of programs. It aims to improve formalism, proof skills, and precision in programming, while also discussing practical applications. It covers operational semantics, Hoare Logic, compiler correctness, and more.
No concepts data
+ 17 more concepts