On the complexity of deciding fair termination of probabilistic concurrent finite-state programs

Subjects

Subjects :

Concurrency Control
Concurrent Programming
Scientific Research
Comparison
Algorithm
Algorithm Analysis
Finite State Automata

Details

ISSN :

03043975

Volume :

v58

Issue :

1-3

Database :

Gale General OneFile

Journal :

Theoretical Computer Science

Publication Type :

Academic Journal

Accession number :

edsgcl.7036813