Communicating sequential processes
Communicating sequential processes
Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Journal of the ACM (JACM)
A process specification formalism
Fundamenta Informaticae
Process algebra
Handbook of theoretical computer science (vol. B)
Handbook of logic in computer science (vol. 4)
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Science of Computer Programming
Communication and Concurrency
Introduction to Process Algebra
Introduction to Process Algebra
Hierarchical composition of industrial components
Science of Computer Programming - Special issue on new software composition concepts
An ontology for software component matching
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Building a modal interface theory for concurrency and data
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Hi-index | 0.00 |
We take a process component as a pair of an interface and a behaviour. We study the composition of interacting process components in the setting of process algebra. We formalize the interfaces of interacting process components by means of an interface group. An interesting feature of the interface group is that it allows for distinguishing between expectations and promises in interfaces of process components. This distinction comes into play in case components with both client and server behaviour are involved.