Sign in

A Perspective on "CCS Expressions, Finite State Processes, and Three Problems of Equivalence".

Ezio BartocciMichael A. Bender
Published in: SIGACT News (2021)
Keyphrases
  • finite state
  • markov chain
  • model checking
  • information retrieval
  • search algorithm
  • state space
  • transition systems