TY  - RPRT
AU  - Martín Sánchez, Óscar
AU  - Verdejo López, José Alberto
AU  - Martí-Oliet, Narciso
PY  - 2017
UR  - https://hdl.handle.net/20.500.14352/22949
AB  - Our aim is to bring modularity to system specification in rewriting logic. Modularity here is in the sense of decomposing a system into its functional components, coding the specification for each component as a separate system, and then assembling...
LA  - eng
KW  - Modularity
KW  - Rewriting logic
KW  - Concurrent Systems
KW  - Non-Deterministic System
KW  - Synchronous composition
KW  - Transition structures
KW  - Semantics
KW  - Cached computer architecture
TI  - Modular specification in rewriting logic (extended version)
TY  - technical report
ER  -