Author:
Charpentier Michel,Chandy K. Mani
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Abadi, M., Lamport, L.: Composing specifications. ACM Transactions on Programming Languages and Systems 15(1), 73–132 (1993)
2. Abadi, M., Lamport, L.: Conjoining specifications. ACM Transactions on Programming Languages and Systems 17(3), 507–534 (1995)
3. Lecture Notes in Computer Science;M. Abadi,1995
4. Mani Chandy, K., Sanders, B.: Reasoning about program composition (submitted for publication),
http://www.cise.ufl.edu/~sanders/pubs/composition.ps
5. Charpentier, M.: Assistance à Répartition de Systèmes Réactifs. Thèse de doctorat, Institut National Polytechnique de Toulouse (November 1997)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Composition of User Interfaces;Handbook of Human Computer Interaction;2022
2. On the Composition of Compositional Reasoning;Lecture Notes in Computer Science;2006
3. A UNITY-Based Framework Towards Component Based Systems;Lecture Notes in Computer Science;2005
4. Composing Invariants;FME 2003: Formal Methods;2003
5. An Approach to Composition Motivated by wp;Fundamental Approaches to Software Engineering;2002