Event fairness and non-interleaving concurrency

@article{Kwiatkowska1989EventFA,
  title={Event fairness and non-interleaving concurrency},
  author={Marta Z. Kwiatkowska},
  journal={Formal Aspects of Computing},
  year={1989},
  volume={1},
  pages={213-228}
}
Event fairness suitable for non-interleaving concurrency is proposed. Fairness is viewed with respect to concurrency, rather than non-determinism, in the sense that no concurrent component of the system should be delayed indefinitely. Shields' asynchronous transition systems and Mazurkiewicz's traces have been used; the model gives rise to a partial order. A class of generalised notions of (weak, strong and unconditional) event fairness relative to progress requirements is derived. The weakest… CONTINUE READING

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
25 Extracted Citations
4 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.

Referenced Papers

Publications referenced by this paper.
Showing 1-4 of 4 references

Fairness, Springer-Verlag New York

  • N. Francez
  • 1986

Similar Papers

Loading similar papers…