Mechanizing CSP Trace Theory in Higher Order Logic
IEEE Transactions on Software Engineering
Planning Proofs of Equations in CCS
Automated Software Engineering
On Process Equivalence = Equation Solving in CCS
Journal of Automated Reasoning
Hi-index | 0.00 |