Communicating sequential processes
Communicating sequential processes
Mode-automata: a new domain-specific construct for the development of safe critical systems
Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
Priority in process algebras
Computation: finite and infinite machines
Computation: finite and infinite machines
A Notion of Glue Expressiveness for Component-Based Systems
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
The Algebra of Connectors—Structuring Interaction in BIP
IEEE Transactions on Computers
On the Expressive Power of Restriction and Priorities in CCS with Replication
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
An expressiveness study of priority in process calculi
Mathematical Structures in Computer Science
The Expressive Power of Synchronizations
LICS '10 Proceedings of the 2010 25th Annual IEEE Symposium on Logic in Computer Science
On the Expressive Power of Multiple Heads in CHR
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |
We take a fresh look at the expressivity of BIP, a recent influential formal component model developed by J. Sifakis et al. We introduce a process calculus, called CAB, that models composite components as the combination of a glue (using BIP terminology) and subcomponents, and that constitutes a conservative extension of BIP with more dynamic forms of glues. We study the Turing completeness of CAB variants that differ only in their language for glues.We show that limiting the glue language to BIP glues suffices to obtain Turing-completeness, whereas removing priorities from the control language loses Turing-completeness. We also show that adding a simple form of dynamic component creation in the control language without priorities is enough to regain Turing completeness. These results complement those obtained on BIP, highlighting in particular the key role of priorities for expressivity.