@inproceedings{d4f238ec0b5d4107916a92b902bd6b78,

title = "Modelling microsoft COM using π-calculus",

abstract = "We use the p-calculus to model aspects of Microsoft{\textquoteright}s COM architecture. The paper introduces certain aspects of COM, first using IDL and C++, and then using a sugared version of the p-calculus (with numbers and lists added). Most of the complexities arise in dynamic interface management. We explore using the reduction rules of the calculus to show that two components (a stack and stack-observer) do indeed connect to each other in the required manner.",

author = "L.M.G. Feijs",

year = "1999",

doi = "10.1007/3-540-48118-4_21",

language = "English",

isbn = "3-540-66588-9",

volume = "2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "1343--1363",

editor = "J.M. Wing and J. Woodcock and J. Davies",

booktitle = "FM'99 - Formal Methods (Proceedings World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999)",

address = "Germany",

}