|
Título:
|
Alternating bit protocol as an example of compositional system specification
|
|
Autores:
|
Martín, Óscar ;
Verdejo López, Alberto ;
Martí Oliet, Narciso
|
|
Tipo de documento:
|
texto impreso
|
|
Fecha de publicación:
|
2018-01-30
|
|
Dimensiones:
|
application/pdf
|
|
Nota general:
|
info:eu-repo/semantics/openAccess
|
|
Idiomas:
|
|
|
Palabras clave:
|
Estado = No publicado
,
Materia = Ciencias: Informática
,
Materia = Ciencias: Informática: Programación de ordenadores
,
Tipo = Documento de trabajo o Informe técnico
|
|
Resumen:
|
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.
|
|
En línea:
|
https://eprints.ucm.es/id/eprint/46243/1/abp.pdf
|
