The parallel composition of uniform processes with data
Theoretical Computer Science
Planning Proofs of Equations in CCS
Automated Software Engineering
Fundamenta Informaticae
On Process Equivalence = Equation Solving in CCS
Journal of Automated Reasoning
Fundamenta Informaticae
Hi-index | 0.00 |