Transition systems are used to describe the behavior of discrete systems in theoretical computer science. They consist of states and transitions between states, which may be labeled with labels chosen from a set. Transition systems can be represented as directed graphs and differ from finite-state automata.
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 concepts