Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems | Publicación