Location of Repository

Formal description and analysis of a bounded retransmission protocol

By Radu Mateescu and 38 - Grenoble (France). Unite de Recherche Rhone-Alpes Institut National de Recherche en Informatique et en Automatique (INRIA)

Abstract

Theme 1 - Reseaux et systemes. Projet SpectreSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1996 n.2965 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Topics: 09J - Information theory, coding theory, signal processing, Formal description and analysis of a bounded retransmission protocol [ Protocol engineering, LOTOS, Model checking, Labelled Transition systems, Bisimulation, Temporal logic, Verification]
Year: 1996
OAI identifier:
Provided by: OpenGrey Repository
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://hdl.handle.net/10068/40... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.