@article {baquero1997specification,
	title = {Specification of convergent abstract data types for autonomous mobile computing},
	year = {1997},
	month = {October},
	pages = {18},
	institution = {HASLab/INESC TEC \& University of Minho},
	address = {Braga, Portugal},
	abstract = {<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>
},
	issn = {DI-1997-01},
	attachments = {https://haslab.uminho.pt/sites/default/files/cbm/files/scadt4.pdf},
	author = {Carlos Baquero Moreno and Francisco Moura}
}