The technique of logic analysis combined with process calculi is proposed in [3].However, the technique has some limitations in analyzing security and atomicity of e-com- merce.是什么意思_The technique of logic analysis combined with process calculi is proposed in [3].However, the technique has some limitations in analyzing security and atomicity of e-com- merce.在線(xiàn)翻譯_英語(yǔ)_讀音_用法_例句