Context

Context of Computer-aided verification of coordinating processes : the automata-theoretic approach, Robert P. Kurshan
Processing Feedback ...