Văn bản này: Testing semantics: Connecting processes and process logics