Author:
Dimarogkona Maria,Addis Mark,Stefaneas Petros
Publisher
Springer International Publishing
Reference40 articles.
1. Angius, N., Dimarogkona, M., & Stefaneas, P. (2017). Building and integrating semantic theories over institutions. In S. Lambropoulou, P. Stefaneas, D. Theodorou, & L. Kauffman (Eds.), Algebraic modeling of topological and computational structures and applications (pp. 363–374). Berlin, Germany: Springer.
2. Angius, N., & Stefaneas, P. (2016). Discovering empirical theories of modular software systems: An algebraic approach. In V. Müller (Ed.), Computing and philosophy: Selected papers from IACAP 2014 (pp. 99–115). Berlin, Germany: Springer.
3. Baier, C., & Katoen, J.-P. (2008). Principles of model checking. Cambridge, UK: MIT Press.
4. Barwise, J. (1974). Axioms for abstract model theory. Annals of Mathematical Logic, 7, 221–265.
5. Bell, J., & Slomson, A. (1974). Models and ultraproducts: An introduction (3rd ed.). Amsterdam: North Holland.