论文信息 - Weak and Strong Fairness in CCS - 字舞流文

Weak and Strong Fairness in CCS

Gerardo Costa | Colin Stirling | C. Stirling | G. Costa

[1] Robin Milner,et al. Algebraic laws for nondeterminism and concurrency , 1985, JACM.

[2] Matthew Hennessy,et al. The Power of the Future Perfect in Program Logics , 1984, Inf. Control..

[3] Philippe Darondeau,et al. On the Observational Semantics of Fair Parallelism , 1983, ICALP.

[4] Ernst-Rüdiger Olderog,et al. Proof Rules and Transformations Dealing with Fairness , 1983, Sci. Comput. Program..

[5] Leslie Lamport,et al. Proving Liveness Properties of Concurrent Programs , 1982, TOPL.

[6] Robin Milner,et al. A Finite Delay Operator in Synchronous CCS. , 1982 .

[7] Amir Pnueli,et al. Impartiality, Justice and Fairness: The Ethics of Concurrent Termination , 1981, ICALP.

[8] D. Park. A Predicate Transformer for Weak Fair Iteration , 1981 .

[9] Saharon Shelah,et al. On the temporal analysis of fairness , 1980, POPL '80.

[10] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[11] David Michael Ritchie Park,et al. On the Semantics of Fair Parallelism , 1979, Abstract Software Specifications.