Search results for "sliding window protocols"

Found 9 publication records. Showing 9 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	A. Udaya Shankar, Simon S. Lam	A Stepwise Refinement Heuristic for Protocol Construction.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	conditional refinement, cyclic sequence numbers, message lifetimes, interfaces, stepwise refinement, sliding window protocols, assertional reasoning
2	A. Udaya Shankar, Simon S. Lam	Construction of Network Protocols by Stepwise Refinement.	REX Workshop	1989	DBLP DOI BibTeX RDF	distributed systems, Specification, refinement, transport protocols, sliding window protocols
1	Suwen Yang, Mark R. Greenstreet, Jihong Ren	A Jitter Attenuating Timing Chain.	ASYNC	2007	DBLP DOI BibTeX RDF
1	Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang	Causal Message Sequence Charts.	CONCUR	2007	DBLP DOI BibTeX RDF
1	Bahareh Badban, Wan Fokkink, Jan Friso Groote, Jun Pang, Jaco van de Pol	Verification of a sliding window protocol in µCRL and PVS.	Formal Asp. Comput.	2005	DBLP DOI BibTeX RDF	?CRL, Specification, Process algebra, Verification techniques, Sliding window protocols, Branching bisimulation
1	Mani Azimi, Ching-Tsun Chou, Akhilesh Kumar, Victor W. Lee, Phanindra K. Mannava, Seungjoon Park	Experience with Applying Formal Methods to Protocol Specification and System Architecture.	Formal Methods in System Design	2003	DBLP DOI BibTeX RDF	rule-based checking of tables, minimal deadlock-free wormhole routing schemes, fault-tolerant link initialization, formal verification, cache coherence protocols, sliding window protocols
1	Parosh Aziz Abdulla, Mats Kindahl	Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems (Extended Abstract).	CONCUR	1995	DBLP DOI BibTeX RDF
1	John G. Waclawsky, Ashok K. Agrawala	Dynamic Queue Behavior in Networks with Window Protocols.	SIGMETRICS	1990	DBLP DOI BibTeX RDF
1	Willy Zwaenepoel	Protocols for large data transfers over local networks.	SIGCOMM	1985	DBLP DOI BibTeX RDF

Displaying result #1 - #9 of 9 (100 per page; Change: )