论文部分内容阅读
ProcessCalculi,suchasCCS~[1]orCSP~[2],weredesignedtodescribeandtoanalysecommunicat-ingsystems.Intuitivelywiththeselanguageasystemisdescribedintermsofasetofindependentprocesseswhichperiodicallysynchronisetheirbehaviourbyhand-shakecommunication.Thissyn-chro
ProcessCalculi, suchasCCS ~ [1] orCSP ~ [2], weredesignedtodescribeandtoanalysecommunicat- ingsystems.Intuitivelywiththeselanguageasystemisdescribedintermsofasetofindependentprocesseswhichperiodicallyynchronisetheirbehavourbyhand-shakecommunication.Thissyn-chro