Weak and strong fairness in CCS

This publication has 5 references indexed in Scilit:

• Fairness and related properties in transition systems ? a temporal logic to deal with fairness
  Acta Informatica, 1983
• Proof rules and transformations dealing with fairness
  Science of Computer Programming, 1983
• Proving Liveness Properties of Concurrent Programs
  ACM Transactions on Programming Languages and Systems, 1982
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• On the temporal analysis of fairness
  Published by Association for Computing Machinery (ACM) ,1980