@inproceedings{3424fb061ea64642a9dee3d9a5e4b232,
title = "Deadlock behaviour in split and ST bisimulation semantics",
author = "J.C.M. Baeten and J.A. Bergstra",
year = "1998",
doi = "10.1016/S1571-0661(04)00117-3",
language = "English",
series = "Electronic Notes in Theoretical Computer Science",
number = "2",
pages = "61--74",
editor = "I. Castellani and C. Palamidessi",
booktitle = "Proceedings Fifth International Workshop on Expressiveness in Concurrency (EXPRESS '98, Nice, France, September 7, 1998; satellite of CONCUR'98)",
}