Planning Proofs of Equations in CCS
Automated Software Engineering
Experiences with specification and verification in LOTOS: a report on two case studies
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
On Process Equivalence = Equation Solving in CCS
Journal of Automated Reasoning
A description method of ontology change management using pi-calculus
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
A pi-calculus based ontology change management
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
A logical verification methodology for service-oriented computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Theories of Programming and Formal Methods
Hi-index | 0.00 |