|
|
计算机科学技术学报 1998
Process Calculi for describing distributed systems
|
Abstract:
ProcessCalculi,suchasCCS~1]orCSP~2],weredesignedtodescribeandtoanalysecommunicat-ingsystems.Intuitivelywiththeselanguageasystemisdescribedintermsofasetofindependentprocesseswhichperiodicallysynchronisetheirbehaviourbyhand-shakecommunication.Thissyn-chronisationismodeledasthesimultaneousoccurrenceofanactiontogetherwithitscomplementaryaction,eachbeingperformedbyseparateindependentprocesses.Theseideaswerequicklyextendedtovalue-passingprocesses,wheretheideaofasynchronisationactionismademoreco…
