We investigate split and ST bisimulation semantics, in particular the deadlock behaviour of processes in these semantics. We define and axiomatise a variant of ACP,\ud where atomic actions and durational actions coexist, and define split and ST bisimulation semantics on this theory. We exhibit a closed term that has a deadlock in\ud split semantics, but not in ST bisimulation semantics, and vice versa: a closed term\ud that has a deadlock in ST bisimulation semantics but not in split semantic. As an\ud application, we investigate different versions of durational communication
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.