论文信息 - Of wp and CSP

Of wp and CSP

A state-based and an event-based approach to concurrency are linked: the traces, failures and divergences of CSP are expressed as weakest precondition formulae over Action Systems. The result is simpler than is obtained using relations for the state-based view; in particular, divergence is handled easily. Essential use is made of miracles.

Carroll Morgan | Carroll Morgan

[1] K. Mani Chandy,et al. Parallel program design - a foundation , 1988 .

[2] Carroll Morgan,et al. The specification statement , 1988, TOPL.

[3] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .

[4] Ralph-Johan Back,et al. Decentralization of Process Nets with Centralized Control , 1983, PODC.

[5] He Jifeng. Process simulation and refinement , 1989 .

[6] Greg Nelson,et al. A generalization of Dijkstra's calculus , 1989, ACM Trans. Program. Lang. Syst..

[7] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.