TY  - RPRT
TI  - On the Unification of Process Semantics: Logical Semantics
AU  - David Romero-Hernández
AU  - David de Frutos-Escrig
PY  - 2011
DO  - 10.4204/eptcs.62.4
UR  - https://arxiv.org/abs/1108.3127
ID  - 1108.3127
ER  -