Skip to content

GSD

Sections
Personal tools
You are here: Home » Publications » Specification of convergent abstract data types for autonomous mobile computing

Specification of convergent abstract data types for autonomous mobile computing

Document Actions
Up one level
Carlos Baquero, Francisco Moura. Specification of convergent abstract data types for autonomous mobile computing. Technical report, Departamento de Informática, Universidade do Minho, 1997.

Abstract Traditional replica control mechanisms such as quorum consensus, primary replicas and other strong consistency approaches are unable to provide a useful level of availability on unconstrained mobile environments. We define an environment thats exploits pair-wise communication and allows autonomous creation and joining of replicas while ensuring eventual convergence. A set of composable components (ADTs) are formally specified using the SETS Calculus. These components can be used to build simple distributed applications that take advantage of peer-to-peer communication between mobile hosts.

View scadt4.pdf (PDF document 350Kb)

@techreport{scadt4,
   author = {Carlos Baquero and Francisco Moura},
   institution = {Departamento de Inform{\'a}tica, Universidade do Minho},
   key = {scadt4},
   title = {Specification of Convergent Abstract Data Types for
Autonomous Mobile Computing},
    month=october,
   year = {1997}
}

Please read the Copyright Notice before downloading.
Created by gsd
Last modified 2004-12-17 07:44 PM
« March 2015 »
Su Mo Tu We Th Fr Sa
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        
 
 

Powered by Plone

This site conforms to the following standards: