Decomposability, decidability and axiomatisability for bisimulation equivalence on basic parallel processes | IEEE Conference Publication | IEEE Xplore