Computation and Concurrency
<|reference_start|>Computation and Concurrency: We try to clarify the relationship between computation and concurrency. Base on the so-called truly concurrent automata, we introduce communication and more operators, and establish the algebras modulo language equivalence and bisimilarity.<|reference_end|>
@article{wang2024computation,
    title={Computation and Concurrency},
    author={Yong Wang},
    journal={arXiv preprint arXiv:2409.02595},
    year={2024},
    archivePrefix={arXiv},
    eprint={2409.02595},
    primaryClass={cs.LO}
}