Return to Article Details
Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge
Download
Download PDF