Luca Aceto. On Axiomatising Finite Concurrent Processes . SIAM Journal on Computing, 23(4):852-863, 1994.
@article{Aceto94,
title = {On Axiomatising Finite Concurrent Processes },
author = {Luca Aceto},
year = {1994},
researchr = {https://researchr.org/publication/Aceto94},
cites = {0},
citedby = {0},
journal = {SIAM Journal on Computing},
volume = {23},
number = {4},
pages = {852-863},
}