Search
for Author
All Reviews
Lanese, Ivan
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
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 wil...
...
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 SO...
...
Nov 18 2014
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy