strong fairness
Recently Published Documents

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

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

On the Impossibility of Maximal Scheduling for Strong Fairness with Interleaving

10.1109/icdcs.2009.59 ◽

2009 ◽

Cited By ~ 1

Author(s):

Matthew Lang ◽

Paolo A.G. Sivilotti

Keyword(s):

Strong Fairness

Download Full-text

A Distributed Maximal Scheduler for Strong Fairness

Lecture Notes in Computer Science - Distributed Computing ◽

10.1007/978-3-540-75142-7_28 ◽

2007 ◽

pp. 358-372 ◽

Cited By ~ 2

Author(s):

Matthew Lang ◽

Paolo A. G. Sivilotti

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 a Strong Fairness Acceptance Condition

SIAM Journal on Computing ◽

10.1137/s0097539798332518 ◽

2006 ◽

Vol 36 (3) ◽

pp. 803-814 ◽

Cited By ~ 2

Author(s):

Shmuel Safra

Keyword(s):

Acceptance Condition ◽

Strong Fairness

Download Full-text

Model Checking with Strong Fairness

Formal Methods in System Design ◽

10.1007/s10703-006-4342-y ◽

2006 ◽

Vol 28 (1) ◽

pp. 57-84 ◽

Cited By ~ 17

Author(s):

Yonit Kesten ◽

Amir Pnueli ◽

Li-On Raviv ◽

Elad Shahar

Keyword(s):

Model Checking ◽

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

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