Modelling microsoft COM using π-calculus

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

10 Citations (Scopus)


We use the p-calculus to model aspects of Microsoft’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.
Original languageEnglish
Title of host publicationFM'99 - Formal Methods (Proceedings World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999)
EditorsJ.M. Wing, J. Woodcock, J. Davies
Place of PublicationBerlin
ISBN (Print)3-540-66588-9
Publication statusPublished - 1999

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743

Cite this