Linking denotational semantics with operational semantics for web services
Innovations in Systems and Software Engineering
Algebraic approach to linking the semantics of web services
Innovations in Systems and Software Engineering
Towards a signal calculus for event-based synchronous languages
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Mechanization Of Real-Time Linear Csp With Higher Order Logic
Fundamenta Informaticae
Hi-index | 0.89 |