Výsledky vyhledávání - "Richard L Tenney"

Differences between Estelle and LOTOS Descriptions of a Protocol

Autor: Richard L. Tenney, Jochen Grobholz

Publikováno v: Formale Beschreibungstechniken für verteilte Systeme ISBN: 9783540555681
Formale Beschreibungstechniken für verteilte Systeme

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c59ffa64242696d35a8f0271ee664eef
https://doi.org/10.1007/978-3-642-77580-2_11

Zobrazit plný text záznamu

A formal specification technique and implementation method for protocols

Autor: Richard L Tenney, Thomas P Blumer

Publikováno v: Computer Networks (1976). 6:201-217

In this paper we describe a formal technique for specifying computer communication protocols as well as a method for automatically producing partial implementations from protocol specifications. After presenting a state machine model for protocols we

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::23fe6a8863754d444bbd5e437550faa0
https://doi.org/10.1016/0376-5075(82)90098-8

Zobrazit plný text záznamu

Impact of satellite technology on transport flow control

Autor: Gilbert Falk, Douglas H. Hunt, Richard L. Tenney

Publikováno v: SIGCOMM

We present a framework for considering the impact of satellite communications on high level computer communication protocols. Within that framework, we present a model for analyzing these effects, and using that model, we derive some bounds on the am

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b40053a618da144f0b0d900ca6169176
https://doi.org/10.1145/1013879.802681

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání