- Title
- A Pi Calculus based framework for the composition and replacement of components
- Creators
- Claus Pahl
- Publication Details
- 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, pp.97-106
- Editor(s)
- Giannakopoulou D, Leavens GT, Sitaraman M
- Conference
- Workshop on Specification and Verification of ComponentBased Systems (Tampa, FL, 14/10/2001 - 18/10/2001)
- Publisher
- University of Central Florida
Tampa - Format
- CDROM
- Identifiers
- (UNIBZ)556660
991005772545201241 - Academic Unit
- Faculty of Computer Science
- Language
- English
- Resource Type
- Conference proceeding
- Author Names String
- Pahl C
- Additional Description
- srcEditors: Giannakopoulou D, Leavens GT, Sitaraman M
Conference proceeding
A Pi Calculus based framework for the composition and replacement of components
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, pp.97-106
Workshop on Specification and Verification of ComponentBased Systems (Tampa, FL, 14/10/2001 - 18/10/2001)
2001
Handle:
https://hdl.handle.net/10863/3052
Details
Metrics
19 Record Views