Author:
de Boer F. S.,Bonsangue M. M.,Steffen M.,Ábrahám E.
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996)
2. Ábrahám, E., Bonsangue, M.M., de Boer, F.S., Steffen, M.: A Structural Operational Semantics for a Concurrent Class Calculus. Tech. rep. 0307 of the Univ. of Kiel (2003)
3. Lecture Notes in Computer Science;E. Ábrahám,2005
4. Lecture Notes in Computer Science;E. Ábrahám,2005
5. de Boer, F.S., Bonsangue, M.M., Guillen-Scholten, J.: Components: From object to mobile channels. In: Jifeng, H., Liu, Z. (eds.) Mathematical Frameworks for Component Software – Models for Analysis and Synthesis. World Scientific, Singapore (2005)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献