Anfonwch hwn fel neges destun: Testing semantics: Connecting processes and process logics