Author:
Karafili Erisa,Nielson Hanne Riis,Nielson Flemming
Publisher
Springer International Publishing
Reference15 articles.
1. Agha, G.A., Kim, W.: Actors: a unifying model for parallel and distributed computing. J. Syst. Architect. 45(15), 1263–1277 (1999)
2. Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comp. Sci. 14(3), 329–366 (2004)
3. Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: Proceedings of SEFM, pp. 3–12 (2006)
4. Bliudze, S., Sifakis, J.: The algebra of connectors-structuring interaction in BIP. IEEE Trans. Comput. 57(10), 1315–1330 (2008)
5. Brewer, D.F.C., Nash, M.J.: The chinese wall security policy. In: Proceedings of IEEE Symposium on Security and Privacy, pp. 206–214 (1989)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献