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

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