pi-calculus การใช้

• Aoc calculus is asynchronous pi - calculus which is enriched with actor mechanisim and reinterpreted
• Our task is to develop the first interactive proof assistant for the - calculus . we call it pim ( the pi - calculus manipulator )
• Howard smith . business process management - the third wave : business process modelling language ( bpml ) and its pi - calculus foundations . information and software technology 45 ( 2003 ) 1065 ? 1069
• A method of the dynamic evolvement of the team organization based on pi - calculus was developed , which includes the mission role assignment , role maintaining , role change , and role conflict coordination etc . . by this way , the organization of the team and the mission role of each fighter in the combat team can be adjusted according to combat situation , combat mission and the survival capability of the each fighter etc . , so that the fighter in the team can attack enemy targets in cooperation with others effectively