Understanding the mismatch combinator in Chi calculus
Theoretical Computer Science
Bisimulation congruence of ℵ-calculus
Information and Computation
Theoretical Computer Science
Theoretical Computer Science
Equivalence checking for a finite higher order π-calculus
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Hi-index | 0.00 |