Author:
Lê Dai Tri Man,Janicki Ryszard
Publisher
Springer Berlin Heidelberg
Reference36 articles.
1. Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Transactions on Software Engineering and Methodology 6(3), 213–249 (1997)
2. Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, Heidelberg (1985)
3. Barwise, J., Seligman, J.: Information Flow: The Logic of Distributed Systems. Cambridge University Press, Cambridge (1997)
4. Casati, R., Varzi, A.: Parts and places: the structures of spatial representation. MIT Press, Cambridge (1999)
5. Fiadeiro, J.L.: Categories for Software Engineering. Springer, Heidelberg (2004)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献