. . "Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)"@en . "Modelli e metodi per il calcolo concorrente e distribuito (algebre di processo, bisimulazione, reti di transizione ecc.)"@it . "68Q85"^^ . "\u5E76\u884C\u548C\u5206\u5E03\u8BA1\u7B97\u7684\u6A21\u578B\u548C\u65B9\u6CD5(\u8FDB\u7A0B\u4EE3\u6570\u3001\u53CC\u6A21\u62DF\u3001\u8F6C\u79FB\u7F51\u7B49)"@zh . . .