Defining process fairness for non-interleaving concurrency

• Authors:

• Marta Z. Kwiatkowska

• Affiliations:

• -

• Venue:
• FST and TC 10 Proceedings of the tenth conference on Foundations of software technology and theoretical computer science
• Year:
• 1990