Project Acronym: PEPITO Title: PEer-to-Peer Implementation and TheOry

Project Acronym: PEPITO Title: PEer-to-Peer Implementation and TheOry (2005)

Cached

Download Links

by Project Duration Months

BibTeX

@MISC{Months05projectacronym:,
    author = {Project Duration Months},
    title = {Project Acronym: PEPITO Title: PEer-to-Peer Implementation and TheOry},
    year = {2005}
}

Bookmark

OpenURL

Abstract

PEer-to-Peer Implementation and TheOry Deliverable no: D1.4 Study of possible semantics of failures REPORT VERSION: first

Citations

3028	H.: Chord: A scalable Peer-To-Peer lookup service for internet applications - Stoica, Morris, et al.
2353	A scalable content-addressable network - Ratnasamy, Francis, et al. - 2001
1503	Pastry: Scalable, Distributed Object Location and Routing for Large-Scale Peer-to-Peer Systems - Rowstron, Druschel - 2001
437	M.R.: An Introduction to Input/Output Automata - Lynch, Tuttle - 1989
339	A note on the confinement problem - Lampson
232	Ivy: a read/write peer-to-peer file system - Muthitacharoen, Morris, et al. - 2002
157	Automated packet trace analysis of TCP implementations - Paxson - 1997
81	Protection and the control of information sharing in Multics - Saltzer - 1974
59	Passive attack analysis for connection-based anonymity systems - Serjantov, Sewell
50	Generating efficient protocol code from an abstract specification - Castelluccia, Dabbous, et al. - 1997
50	Model-checking large network protocol implementations - Engler, Musuvathi - 2004
48	The M-calculus: A Higher-Order Distributed Process Calculus - Schmitt, Stefani - 2003
41	A structured TCP in Standard ML - Biagioni - 1994
37	A readable tcp in the prolac protocol language - Kohler, Kaashoek, et al. - 1999
27	The two-phase commitment protocol in an extended pi-calculus - Berger, Honda
26	Rigorous specification and conformance testing techniques for network protocols, as applied to tcp, udp, and sockets - Bishop, Fairbairn, et al. - 2005
25	Modeling consensus in a process calculus - Nestmann, Fuzzati, et al. - 2003
21	What packets may come: automata for network monitoring - BHARGAVAN, CHANDRA, et al.
20	Verification and improvement of the sliding window protocol - Chkliaev, Hooman, et al. - 2003
20	An Equational Theory for Transactions - Black, Cremet, et al. - 2003
19	Timing UDP: Mechanized semantics for sockets, threads, and failures - Wansbrough, Norrish, et al.
18	The Kell Calculus: Operational Semantics and Type System, in - Bidinger, Stefani
15	Building reliable, high-performance networks with the nuprl proof development system - Kreitz - 2004
15	k, f): A Family of Low Communication, Scalable and FaultTolerant Infrastructures for P2P Applications - DKS - 2003
13	Formal Specification and Verification of Safety and Performance of TCP Selective Acknowledgment - Smith, Ramakrishnan - 2002
13	Rigour is good for you, and feasible: reflections on formal treatments of C and UDP sockets - Norrish, Sewell, et al. - 2002
12	The Protocols - Stevens - 1994
11	A Graph Model Analysis of Computer Communications Protocols - Postel - 1974
11	The Oz-E project: Design guidelines for a secure multiparadigm programming language - Spiessens, Roy - 2005
10	Abstraction of communication channels in Promela: A case study - Fersman, Jonsson - 2000
10	de Pol, “Verifying a sliding window protocol in µCRL - Fokkink, Groote, et al.
9	Service specification and protocol construction for the transport layer - Murphy, Shankar - 1988
8	Stenning’s protocol implemented in UDP and verified in Isabelle - Compton
8	P2PS: Peer-to-peer development platform for Mozart - Mesaros, Carton, et al. - 2005
8	A Capability Based Client: The DarpaBrowser - Stiegler, Miller - 2002
7	Specification-driven monitoring of TCP/IP - Hofmann, Lemmen - 2000
7	Abruptly-terminated connections in TCP – a verification example - Schieferdecker - 1996
7	E: Open source distributed capabilities, 2001. Available at http://www.erights.org - Miller, Stiegler, et al.
6	Sockets: rigorous and experimentally-validated behavioural specification. Volume 2: The specification. Available at http://www.cl.cam.ac.uk/users/pes20/Netsem/alldoc.pdf - TCP - 2005
5	RFC2398: Some testing tools for TCP implementors - Parker, Schmechel - 1998
5	The Mozart-Oz website. http://www.mozart-oz.org - Consortium - 2004
5	Wide-area cooperative storage with CFS - Stoica, Morris, et al. - 2001
4	Design and Implementation of a Fault-Tolerant Transactional Object Store - Al-Metwally - 2003
4	Reniers, “Process algebra needs proof methodology - Fokkink, Groote, et al. - 2004
4	Extending the Oz language for peer-to-peer computing. PEPITO project deliverable D3.7 - Glynn - 2004
4	Unreliable Failure Detectors via Operational Semantics - Nestmann, Fuzzati - 2003
3	The Open Group. IEEE Std 1003.1TM-2001 Standard for Information Technology — Portable Operating - IEEE - 2005
3	Verifying a structured peer-to-peer overlay network: The static case - Borgström, Nestmann, et al. - 2005
3	Design principles for structured overlay networks - Alima, Ghodsi, et al. - 2003
2	Available at http://www.mozartoz.org/mogul/info/cetic ucl/p2ps.html - Carton, Mesaros - 2004