Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Automatic Verification of Directory-based Consistency Protocols
 

Summary: Automatic Verification of Directory-based
Consistency Protocols
Parosh Aziz Abdulla1
parosh@it.uu.se,
Giorgio Delzanno2
giorgio@disi.unige.it, and
Ahmed Rezine3
rezine.ahmed@liafa.jussieu.fr
1
Uppsala University, Sweden
2
Universit`a di Genova, Italy
3
University of Paris 7, France.
Abstract. We propose a symbolic verification method for directory-
based consistency protocols working for an arbitrary number of con-
trolled resources and competing processes. We use a graph-based lan-
guage to specify in a uniform way both client/server interaction schemes
and manipulation of directories that contain the access rights of indi-
vidual clients. Graph transformations model the dynamics of a given

  

Source: Abdulla, Parosh Aziz - Department of Information Technology, Uppsala Universitet

 

Collections: Computer Technologies and Information Sciences