%0 Report
%D 1997
%T Specification of convergent abstract data types for autonomous mobile computing
%A Carlos Baquero Moreno
%A Francisco Moura
%C Braga, Portugal
%I HASLab/INESC TEC & University of Minho
%P 18
%X <p>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.</p>
%8 October
%> https://haslab.uminho.pt/sites/default/files/cbm/files/scadt4.pdf