TY  - JOUR
AU  - Verdejo López, José Alberto
AU  - Martí Oliet, Narciso
PY  - 2000
UR  - https://hdl.handle.net/20.500.14352/57576
T2  - Technical report
AB  - We explore the features of rewriting logic and its language Maude as a logical and semantic framework for representing both the semantics of CCS, and a modal logic for describing local capabilities of CCS processes. Although a rewriting logic...
LA  - spa
M2  - 1
KW  - Operational semantics
KW  - rewriting logic
KW  - Maude
KW  - CCS
KW  - Hennessy-Milner modal logic
TI  - Executing and verifying CCS in Maude
TY  - journal article
VL  - 99-00
ER  -