Skip to main content
Conference ProceedingsOPEN ACCESS

Impartiality, justice and fairness: The ethics of concurrent termination

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1981) 115 LNCS 264-277
DOI: 10.1007/3-540-10843-2_22
193Citations
Citations of this article
21Readers
Mendeley users who have this article in their library.

This article is free to access.

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.

Cite

CITATION STYLE

APA

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

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free