MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Pnueli, Amir
Podelski, Andreas
Rybalchenko, Andrey		dblp
dblp
dblp
Not MPG Author(s):
Pnueli, Amir
Editor(s):
Halbwachs, Nicolas
Zuck, Lenore		dblp
dblp
Not MPII Editor(s):
Halbwachs, Nicolas
Zuck, Lenore
BibTeX cite key*:
PnueliPodelskiRybalchenkoTACAS2005
Title, Booktitle
Title*:
Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems
Booktitle*:
Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Edinburgh, UK
Language:
English
Event Date*
(no longer used):
Organization:
Event Start Date:
4 April 2005
Event End Date:
8 June 2005
Publisher
Name*:
Springer
URL:
Address*:
Berlin, Germany
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Computer Science
Volume:
3440
Number:
Month:
April
Pages:
124-139
Year*:
2005
VG Wort Pages:
30
ISBN/ISSN:
3-540-25333
Sequence Number:
DOI:
Note, Abstract, ©
(LaTeX) Abstract:
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete systems involves a non-trivial interplay between fairness and well-foundedness (ranking functions). This interplay has been an obstacle for automation. The contribution of this paper is a new analysis of temporal properties of FDSs. The analysis uses a domain of binary relations over states labeled by sets of indices of fairness requirements. The use of labeled relations separates the reasoning on well-foundedness and fairness.
URL for the Abstract:
http://springerlink.metapress.com/app/home/contribution.asp?wasp=3d1xhmmutm3yuk6kducy&referrer=parent&backto=issue,9,42;journal,5,1949;linkingpublicationresults,1:105633,1
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography, VG Wort



BibTeX Entry:
@INPROCEEDINGS{PnueliPodelskiRybalchenkoTACAS2005,
AUTHOR = {Pnueli, Amir and Podelski, Andreas and Rybalchenko, Andrey},
 EDITOR = {Halbwachs, Nicolas and Zuck, Lenore},
 TITLE = {Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems},
 BOOKTITLE = {Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005},
 PUBLISHER = {Springer},
 YEAR = {2005},
 VOLUME = {3440},
 PAGES = {124--139},
 SERIES = {Lecture Notes in Computer Science},
 ADDRESS = {Edinburgh, UK},
 MONTH = {April},
 ISBN = {3-540-25333},
}

Entry last modified by Christine Kiesel, 01/28/2008
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Andreas Podelski		Created
03/10/2005 01:05:58 PM
Revisions
3.
2.
1.
0.
Editor(s)
Christine Kiesel
Christine Kiesel
Andrey Rybalchenko
Andreas Podelski
Edit Dates
09.06.2006 15:15:24
27.04.2005 11:03:10
03/23/2005 07:53:39 PM
03/10/2005 01:05:58 PM