Universidad Complutense de Madrid
E-Prints Complutense

Alternating bit protocol as an example of compositional system specification

Impacto

Downloads

Downloads per month over past year



Martín, Óscar and Verdejo López, Alberto and Martí Oliet, Narciso (2018) Alternating bit protocol as an example of compositional system specification. [ ] (Unpublished)

[img]
Preview
PDF
421kB


Abstract

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.


Item Type:Working Paper or Technical Report
Uncontrolled Keywords:Rewriting logic; Maude; Compositional specification; Synchronous composition
Subjects:Sciences > Computer science
Sciences > Computer science > Computer programming
Series Name:
Volume:
Number:
ID Code:46243
Deposited On:31 Jan 2018 09:01
Last Modified:02 Feb 2018 09:47

Origin of downloads

Repository Staff Only: item control page