A PiCalculus based framework for the composition and replacement of components
Pahl, ClausORCID: 0000-0002-9049-212X
(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.