Contact
Privacy
DMCA
Robuta
https://arxiv.org/abs/cs/0501040
[cs/0501040] Split-2 Bisimilarity has a Finite Axiomatization over CCS withbr Hennessy's Merge