Systematic software development using VDM
Systematic software development using VDM
Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
A calculus of mobile processes, I
Information and Computation
Algebraic specification of communication protocols
Algebraic specification of communication protocols
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
The essential distributed objects survival guide
The essential distributed objects survival guide
Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Using formal methods to reason about architectural standards
ICSE '97 Proceedings of the 19th international conference on Software engineering
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Communication and Concurrency
Notations for Software Design
A pi-Calculus Semantics for an Object-Based Design Notation
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Reusable Components for Evolving Systems
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Dynamically Adapting the Behaviour of Software Components
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Adapting Components with Mismatching Behaviours
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Studying virtual worlds as medium for telepresence robots
HRI '12 Proceedings of the seventh annual ACM/IEEE international conference on Human-Robot Interaction
OO-motivated process algebra: a calculus for CORBA-like systems
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Hi-index | 0.00 |
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.