Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2004-08-12T16:59:55Z
dc.date.available 2004-08-12T03:00:00Z
dc.date.issued 2004-04
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/9476
dc.description.abstract A mathematical model for the specification and verification of a data link layer protocol is proposed. The weakest precondition calculus, developed by Dijkstra, originally for sequential programs, has been chosen for this purpose. It is demonstrated that the wp-calculus provides a basis, not only for the modeling but also, for a straightforward and thorough analysis of large and complex distributed systems like data link layer protocol. This analysis contributes to the understanding of the system and could lead to an improvement in the design. The technique has been illustrated by describing the sliding window protocol. en
dc.format.extent 26-31 es
dc.language en es
dc.subject weakest precondition en
dc.subject Specifying and Verifying and Reasoning about Programs es
dc.subject correctness en
dc.title Reasoning about Protocols using Dijkstra’s Calculus en
dc.type Articulo es
sedici.identifier.uri http://journal.info.unlp.edu.ar/wp-content/uploads/JCST-Apr04-4.pdf es
sedici.identifier.issn 1666-6038 es
sedici.creator.person Singh, Awadhesh Kumar es
sedici.creator.person Bandyopadhyay, Anup Kumar es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Facultad de Informática es
sedici.subtype Articulo es
sedici.rights.license Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)
sedici.rights.uri http://creativecommons.org/licenses/by-nc/3.0/
sedici.description.peerReview peer-review es
sedici2003.identifier ARG-UNLP-ART-0000000390 es
sedici.relation.journalTitle Journal of Computer Science & Technology es
sedici.relation.journalVolumeAndIssue vol. 4, no. 1 es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (85.70Kb) - PDF
Icon
Enlace externo

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)