Planning Proofs of Equations in CCS
Automated Software Engineering
On finite alphabets and infinite bases
Information and Computation
On Process Equivalence = Equation Solving in CCS
Journal of Automated Reasoning
On finite alphabets and infinite bases II: completed and ready simulation
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
On finite alphabets and infinite bases III: simulation
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Hi-index | 0.00 |