A PiCalculus based framework for the composition and replacement of components
Pahl, Claus (2001) A PiCalculus based framework for the composition and replacement of components. In: Conference on Object-Oriented Programming, Systems, Languages, and Applications OOPSLA’2001 – Workshop on Specification and Verification of Component-Based Systems., 14-18 Oct. 2001, Tampa, FL. Full text available as:
Download statistics

Archive Staff Only: edit this record
|