TY  - JOUR
AU  - Romero Hernández, David
AU  - Frutos Escrig, David De
PY  - 2011
DO  - 10.4204/EPTCS.62.4
SN  - 2075-2180
UR  - https://hdl.handle.net/20.500.14352/43764
T2  - Electronic proceedings in theoretical computer science
AB  - We continue with the task of obtaining a unifying view of process semantics by considering in this case the logical characterization of the semantics. We start by considering the classic linear time-branching time spectrum developed by R.J. van...
LA  - eng
M2  - 47
PB  - EPTCS
KW  - Logic in Computer Science
TI  - On the unification of process semantics: logical semantics
TY  - journal article
VL  - 62
ER  -