Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
On the Refinement of Liveness Properties of Distributed Systems1
 

Summary: 1
On the Refinement of Liveness Properties of
Distributed Systems1
Paul Attie
Department of Computer Science and Center for Advanced
Mathematical Studies
American University of Beirut
P.O. Box 11-0236
Riad El Solh
Beirut 1107 2020
Lebanon
pa07@aub.edu.lb
Tel: +961 1 350 000 ext. 4221
Fax: +961 1 744 461
May 3, 2010
Keywords: automata, simulation relations, liveness, refinement, proof diagrams.
Abstract We present a new approach, based on simulation relations, for reasoning
about liveness properties of distributed systems. Our contribution consists of (1) a
formalism for defining liveness properties, (2) a proof method for liveness properties
based on that formalism, and (3) two expressive completeness results: our formalism

  

Source: Attie, Paul - Department of Computer Science, American University of Beirut

 

Collections: Computer Technologies and Information Sciences