CCS (Calculus of Commucating Systems)

ﾇbﾇbﾇrﾇﾃ軆��

�帝~ﾉvﾉ酲ZﾉX

�ﾘ苹�ｸ�ﾕﾅi��鶤�ｸ�ﾕaﾇ暮ﾛ鶤蜩ﾅAPﾇ隻ｻﾇﾈﾅj

�ﾘ苹鑰�ﾕﾅi��鶤鑰�ﾕaﾇ簿�鶤蜩ﾅAPﾇ隻ｻﾇﾈﾅj

����蛆饂ﾅi����蛆饂ﾇ暮ｿ輳蜩ﾅAPﾇ隻ｻﾇﾈﾅj

�I�菩ﾆ醯ﾅiPﾇﾐﾇ�ﾇﾕQﾇ隻ｻﾇﾈﾅj

�ｿ輳�ﾆ醯ﾅiPﾇ寝ﾇ��ｿ輳ﾇ喜ﾆ醯ﾇ寡ｴﾇﾈﾅj

鴦隍�ﾟ蠢ﾅiLﾇ贋ﾐﾇﾐﾇﾍﾇﾈ鴦隍�ｺﾇﾃ膂��荐�√�驃ﾅj

ﾉvﾉ酲ZﾉX�ﾋ總ﾅiA=Pﾇ隻ｻﾇﾈﾇ隻ｴﾅAAﾇ姫ﾇ駕u艱ﾅj

�Oﾇﾃ�ﾗｾ滿

鵈ﾇﾃ�ﾗｾ滿

迚鞣ﾇﾃ�ﾗｾ滿ﾇ寄�ﾇﾈ

ｽﾞﾗﾃｮﾘｽ�ﾇﾃ�\鮓