Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Lanese, Ivan Add to Alert Profile  
Date Reviewed  
  1 - 2 of 2 reviews    
  Foundations of session types and behavioural contracts
Hüttel H., Lanese I., Vasconcelos V., Caires L., Carbone M., Deniélou P., Mostrous D., Padovani L., Ravara A., Tuosto E., Vieira H., Zavattaro G.  ACM Computing Surveys 49(1): 1-36, 2016. Type: Article

We are familiar with the notion of types as classifying what a program component does and permissible use of the component. A type system will tell us that a method call must have arguments of particular types and guarantee that it will return a v...
Jun 15 2016  
  The stream-based service-centred calculus: a foundation for service-oriented programming
Cruz-Filipe L., Lanese I., Martins F., Ravara A., Thudichum Vasconcelos V.  Formal Aspects of Computing 26(5): 865-918, 2014. Type: Article

Today, web services are the major technology for deploying systems that make their functionality remotely accessible, discoverable, and composable, giving rise to the paradigm of service-oriented computing (SOC). To adequately model SOC systems, a...
Nov 18 2014  

Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2018 ThinkLoud, Inc.
Terms of Use
| Privacy Policy