Sciweavers

Share
FASE
2010
Springer

Prescriptive Semantics for Big-Step Modelling Languages

10 years 9 months ago
Prescriptive Semantics for Big-Step Modelling Languages
f abstraction, providing an effective way to discover a Web service based on its interface. Awards and Scholarships - Ontario Graduate Scholarship (OGS), 2008 - Ontario Graduate Scholarship (OGS), 2007 - Ross and Muriel Cheriton Graduate Scholarship, Winter 2007 - Ontario Graduate Scholarship (OGS), 2006 - University of Waterloo Graduate Scholarship, Winter 2006 - The Distinguished Paper Award, “Interface Automata with Complex Actions,” (FSEN’05), 2005
Shahram Esmaeilsabzali, Nancy A. Day
Added 18 May 2010
Updated 18 May 2010
Type Conference
Year 2010
Where FASE
Authors Shahram Esmaeilsabzali, Nancy A. Day
Comments (0)
books