Typing the Behavior of Software Components using Session Types.

Antonio Vallecillo Vasco Thudichum Vasconcelos António Ravara

Published in: Fundam. Informaticae (2006)

Keyphrases

software components
software systems
software reuse
software development
commercial off the shelf
building blocks
development environments
software modules
web services
component based development
database
machine learning
multi agent systems
object oriented
java programs