Channel system (computer science)

• CTL*
• LTL
• Minsky machine
• Turing machine
• communicating finite-state machine
• decidable language
• finite state machine
• primitive recursive
• pushdown automaton