Skip to main content
Conference ProceedingsOPEN ACCESS

Modelling microsoft COM using π-Calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1999) 1709 1343-1363
DOI: 10.1007/3-540-48118-4_21
10Citations
Citations of this article
7Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

We use the π-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 π-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.

Cite

CITATION STYLE

APA

Feijs, L. M. G. (1999). Modelling microsoft COM using π-Calculus. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1709, pp. 1343–1363). Springer Verlag. https://doi.org/10.1007/3-540-48118-4_21

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free