RT Report
T1 Alternating bit protocol as an example of compositional system specification
A1 Martín, Óscar
A1 Verdejo López, José Alberto
A1 Martí Oliet, Narciso
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 specify interfaces. This paper must be considered a companion to some of our previous ones.
YR 2018
FD 2018
LK https://hdl.handle.net/20.500.14352/17411
UL https://hdl.handle.net/20.500.14352/17411
LA eng
NO Ministerio de Economía y Competitividad (España)
NO Comunidad de Madrid
DS Docta Complutense
RD 27 sept 2025