共 50 条
- [44] An environment for reusing software processes FIFTH INTERNATIONAL CONFERENCE ON SOFTWARE REUSE - PROCEEDINGS, 1998, : 103 - 112
- [49] 2 COMPLETE AXIOM SYSTEMS FOR A THEORY OF COMMUNICATING SEQUENTIAL PROCESSES INFORMATION AND CONTROL, 1985, 64 (1-3): : 136 - 172
- [50] A lattice-theoretic model for an algebra of communicating sequential processes THEORETICAL ASPECTS OF COMPUTING - ICTAC 2006, 2006, 4281 : 123 - 137