Publisher
Springer International Publishing
Reference51 articles.
1. Anderson, C., Foster, N., Guha, A., Jeannin, J., Kozen, D., Schlesinger, C., Walker, D.: Netkat: semantic foundations for networks. In: POPL 2014, pp. 113–126 (2014)
2. Asarin, E., Caspi, P., Maler, O.: Timed regular expressions. Journal of the ACM 49, 172–206 (2002)
3. Banu-Demergian, I.T.: The study of interaction in computing systems. PhD thesis, University of Bucharest (2014)
4. Lecture Notes in Computer Science;I.T. Banu-Demergian,2013
5. Banu-Demergian, I.T., Stefanescu, G.: Towards a formal representation of interactive systems. Fundamenata Informaticae 131, 313–336 (2014)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Adaptive Virtual Organisms: A Compositional Model for Complex Hardware-software Binding*,†;Fundamenta Informaticae;2020-03-31
2. Implementation of Publisher-Subscriber Paradigm Using Virtual Organisms;2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2019-09
3. Multi-Level Control Mechanisms for Non-Structured and Structured 2-Dimensional Self-Assembling;2017 IEEE 11th International Conference on Self-Adaptive and Self-Organizing Systems (SASO);2017-09
4. Self-assembling heterogeneous interactive systems;Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture - SiSoS@ECSA '16;2016