Impartiality, justice and fairness: The ethics of concurrent termination

D. Lehmann; A. Pnueli; J. Stavi

doi:10.1007/3-540-10843-2_22

Impartiality, justice and fairness: The ethics of concurrent termination

D. Lehmann
, A. Pnueli
, J. Stavi

The Rachel and Selim Benin School of Engineering and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

198 Scopus citations

Abstract

The method of well founded structures for proving termination of programs is extended to concurrent programs. The more complicated case is when a program terminates only for fair executions. Different versions of fairness are introduced: Impartiality, Fairness and Justice, and Methods for proving their termination are presented.

Original language	English
Title of host publication	Automata, Languages and Programming - 8th Colloquium
Editors	Shimon Even, Oded Kariv
Publisher	Springer Verlag
Pages	264-277
Number of pages	14
ISBN (Print)	9783540108436
DOIs	https://doi.org/10.1007/3-540-10843-2_22
State	Published - 1981
Event	8th International Colloquium on Automata, Languages and Programming, ICALP 1981 - Acre, Israel Duration: 13 Jul 1981 → 17 Jul 1981

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	115 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	8th International Colloquium on Automata, Languages and Programming, ICALP 1981
Country/Territory	Israel
City	Acre
Period	13/07/81 → 17/07/81

Bibliographical note

Publisher Copyright:
© 1981, Springer-Verlag.

Access to Document

10.1007/3-540-10843-2_22

Cite this

Lehmann, D., Pnueli, A., & Stavi, J. (1981). Impartiality, justice and fairness: The ethics of concurrent termination. In S. Even, & O. Kariv (Eds.), Automata, Languages and Programming - 8th Colloquium (pp. 264-277). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 115 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-10843-2_22

Lehmann, D. ; Pnueli, A. ; Stavi, J. / Impartiality, justice and fairness : The ethics of concurrent termination. Automata, Languages and Programming - 8th Colloquium. editor / Shimon Even ; Oded Kariv. Springer Verlag, 1981. pp. 264-277 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{aa181145f4604cd297a370cea1b2c900,

title = "Impartiality, justice and fairness: The ethics of concurrent termination",

abstract = "The method of well founded structures for proving termination of programs is extended to concurrent programs. The more complicated case is when a program terminates only for fair executions. Different versions of fairness are introduced: Impartiality, Fairness and Justice, and Methods for proving their termination are presented.",

author = "D. Lehmann and A. Pnueli and J. Stavi",

note = "Publisher Copyright: {\textcopyright} 1981, Springer-Verlag.; 8th International Colloquium on Automata, Languages and Programming, ICALP 1981 ; Conference date: 13-07-1981 Through 17-07-1981",

year = "1981",

doi = "10.1007/3-540-10843-2\_22",

language = "אנגלית",

isbn = "9783540108436",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "264--277",

editor = "Shimon Even and Oded Kariv",

booktitle = "Automata, Languages and Programming - 8th Colloquium",

address = "גרמניה",

}

Lehmann, D, Pnueli, A & Stavi, J 1981, Impartiality, justice and fairness: The ethics of concurrent termination. in S Even & O Kariv (eds), Automata, Languages and Programming - 8th Colloquium. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 115 LNCS, Springer Verlag, pp. 264-277, 8th International Colloquium on Automata, Languages and Programming, ICALP 1981, Acre, Israel, 13/07/81. https://doi.org/10.1007/3-540-10843-2_22

Impartiality, justice and fairness: The ethics of concurrent termination. / Lehmann, D.; Pnueli, A.; Stavi, J.
Automata, Languages and Programming - 8th Colloquium. ed. / Shimon Even; Oded Kariv. Springer Verlag, 1981. p. 264-277 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 115 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Impartiality, justice and fairness

T2 - 8th International Colloquium on Automata, Languages and Programming, ICALP 1981

AU - Lehmann, D.

AU - Pnueli, A.

AU - Stavi, J.

PY - 1981

Y1 - 1981

N2 - The method of well founded structures for proving termination of programs is extended to concurrent programs. The more complicated case is when a program terminates only for fair executions. Different versions of fairness are introduced: Impartiality, Fairness and Justice, and Methods for proving their termination are presented.

AB - The method of well founded structures for proving termination of programs is extended to concurrent programs. The more complicated case is when a program terminates only for fair executions. Different versions of fairness are introduced: Impartiality, Fairness and Justice, and Methods for proving their termination are presented.

UR - https://www.scopus.com/pages/publications/85034565451

U2 - 10.1007/3-540-10843-2_22

DO - 10.1007/3-540-10843-2_22

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:85034565451

SN - 9783540108436

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 264

EP - 277

BT - Automata, Languages and Programming - 8th Colloquium

A2 - Even, Shimon

A2 - Kariv, Oded

PB - Springer Verlag

Y2 - 13 July 1981 through 17 July 1981

ER -

Lehmann D, Pnueli A, Stavi J. Impartiality, justice and fairness: The ethics of concurrent termination. In Even S, Kariv O, editors, Automata, Languages and Programming - 8th Colloquium. Springer Verlag. 1981. p. 264-277. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-10843-2_22

Impartiality, justice and fairness: The ethics of concurrent termination

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this