TY  - RPRT
AU  - Martín, Óscar
AU  - Verdejo López, José Alberto
AU  - Martí Oliet, Narciso
PY  - 2018
UR  - https://hdl.handle.net/20.500.14352/17411
AB  - We show a complete modular specification of the alternating bit protocol. We use the syntax of Maude extended with our constructs for the synchronous composition. Also, we make intensive use of parameterized programming to encapsulate components and...
LA  - eng
KW  - Rewriting logic
KW  - Maude
KW  - Compositional specification
KW  - Synchronous composition
TI  - Alternating bit protocol as an example of compositional system specification
TY  - technical report
ER  -