We try to clarify the relationship between computation and concurrency. Base on the so-called pomsetc automata, we introduce communication and more operators, and establish the algebras modulo language equivalence and truly concurrent bisimilarities.

翻译：本文旨在阐明计算与并发性之间的关系。基于所谓的偏序多集自动机，我们引入了通信机制及更多算子，并建立了关于语言等价与真并发互模拟的代数理论。