On the Impossibility of Maximal Scheduling for Strong Fairness with Interleaving

Mapping Intimacies ◽

10.1109/icdcs.2009.59 ◽

2009 ◽

Cited By ~ 1

Author(s):

Matthew Lang ◽

Paolo A.G. Sivilotti

Keyword(s):

Strong Fairness

Download Full-text

Self-stabilizing strong fairness under weak fairness

IEEE Transactions on Parallel and Distributed Systems ◽

10.1109/71.920585 ◽

2001 ◽

Vol 12 (4) ◽

pp. 337-345 ◽

Cited By ~ 13

Author(s):

M.H. Karaata

Keyword(s):

Strong Fairness

Download Full-text

Strong Fairness and Full Abstraction for Communicating Processes

Information and Computation ◽

10.1006/inco.2000.2886 ◽

2000 ◽

Vol 163 (2) ◽

pp. 471-509 ◽

Cited By ~ 3

Author(s):

Susan Older

Keyword(s):

Communicating Processes ◽

Full Abstraction ◽

Strong Fairness

Download Full-text

Complete proof rules for strong fairness and strong extreme fairness

Theoretical Computer Science ◽

10.1016/0304-3975(93)90185-v ◽

1993 ◽

Vol 111 (1-2) ◽

pp. 125-143 ◽

Cited By ~ 2

Author(s):

Michael G Main

Keyword(s):

Complete Proof ◽

Proof Rules ◽

Strong Fairness

Download Full-text

Strong fairness and ultra metrics

Theoretical Computer Science ◽

10.1016/0304-3975(92)90175-f ◽

1992 ◽

Vol 99 (1) ◽

pp. 121-140 ◽

Cited By ~ 1

Author(s):

Lutz Priese ◽

Doris Nolte

Keyword(s):

Strong Fairness

Download Full-text

Weak and strong fairness in CCS

Mathematical Foundations of Computer Science 1984 - Lecture Notes in Computer Science ◽

10.1007/bfb0030305 ◽

2006 ◽

pp. 245-254 ◽

Cited By ~ 8

Author(s):

Gerardo Costa ◽

Colin Stirling

Keyword(s):

Strong Fairness

Download Full-text

Exponential determinization for ω-automata with strong-fairness acceptance condition (extended abstract)

Proceedings of the twenty-fourth annual ACM symposium on Theory of computing - STOC '92 ◽

10.1145/129712.129739 ◽

1992 ◽

Cited By ~ 34

Author(s):

Shmuel Safra

Keyword(s):

Acceptance Condition ◽

Strong Fairness

Download Full-text

Complete assertional proof rules for progress under weak and strong fairness

Science of Computer Programming ◽

10.1016/j.scico.2012.10.013 ◽

2013 ◽

Vol 78 (9) ◽

pp. 1521-1537 ◽

Cited By ~ 2

Author(s):

Wim H. Hesselink

Keyword(s):

Proof Rules ◽

Strong Fairness

Download Full-text

Coping With Strong Fairness

Fundamenta Informaticae ◽

10.3233/fi-2000-43123409 ◽

2000 ◽

Vol 43 (1-4) ◽

pp. 175-193 ◽

Cited By ~ 15

Author(s):

Timo Latvala ◽

Keijo Heljanko

Keyword(s):

Strong Fairness

Download Full-text

Multiparty Quantum Key Agreement With Strong Fairness Property

Computer Systems Science and Engineering ◽

10.32604/csse.2020.35.457 ◽

2020 ◽

Vol 35 (6) ◽

pp. 457-465

Author(s):

Vankamamidi S. Naresh ◽

Sivaranjani Reddi

Keyword(s):

Key Agreement ◽

Quantum Key Agreement ◽

Strong Fairness

Download Full-text

A self-stabilizing algorithm for strong fairness

Computing ◽

10.1007/bf02684333 ◽

1998 ◽

Vol 60 (3) ◽

pp. 217-228 ◽

Cited By ~ 4

Author(s):

M. H. Karaata ◽

P. Chaudhuri

Keyword(s):

Strong Fairness

Download Full-text