TY  - RPRT
TI  - Unifying the Linear Time-Branching Time Spectrum of Process Semantics
AU  - David de Frutos Escrig
AU  - Carlos Gregorio-Rodríguez
AU  - Miguel Palomino
AU  - David Romero Hernández
PY  - 2013
DO  - 10.2168/lmcs-9(2:11)2013
UR  - https://arxiv.org/abs/1304.6574
ID  - 1304.6574
ER  -