Robuta

https://social.axiomatization.space/ Axiomatization Space space https://arxiv.org/abs/cs/0501040 [cs/0501040] Split-2 Bisimilarity has a Finite Axiomatization over CCS withbr Hennessy's Merge https://www.w3.org/submissions/2005/SUBM-SWSF-SWSO-20050909/appendices/swso-fol.html Appendix B: Axiomatization of the FLOWS Process Model appendix b of the flows process model