Fairness
Latest Publications

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer US

9781461293477, 9781461248866
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Fair Termination of Concurrent Processes

Fairness ◽  
1986 ◽  
pp. 132-172
Author(s):  
Nissim Francez
Keyword(s):  
Concurrent Processes

The Method of Explicit Scheduler

Fairness ◽  
1986 ◽  
pp. 58-93
Author(s):  
Nissim Francez

Introduction

Fairness ◽  
1986 ◽  
pp. 1-14
Author(s):  
Nissim Francez

Syntactic Expressibility

Fairness ◽  
1986 ◽  
pp. 173-201
Author(s):  
Nissim Francez

Termination and Well-Foundedness

Fairness ◽  
1986 ◽  
pp. 15-23
Author(s):  
Nissim Francez
Keyword(s):  
Well Foundedness

The Functional Approach

Fairness ◽  
1986 ◽  
pp. 240-278
Author(s):  
Nissim Francez
Keyword(s):  
Functional Approach

Fairness in Temporal Logic

Fairness ◽  
1986 ◽  
pp. 202-239
Author(s):  
Nissim Francez
Keyword(s):  
Temporal Logic

Extension and Generalizations of Fairness

Fairness ◽  
1986 ◽  
pp. 94-131
Author(s):  
Nissim Francez

The Method of Helpful Directions

Fairness ◽  
1986 ◽  
pp. 24-57
Author(s):  
Nissim Francez
Load More ...
Sign in / Sign up

Export Citation Format

Share Document