Search results for: Nikos Tzevelekos
Formal Methods in System Design > 2018 > 52 > 3 > 277-314
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Semantics > 32-47
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Semantics of Programming Languages > 33-47
Annals of Pure and Applied Logic > 2013 > 164 > 11 > 1118-1143
Electronic Notes in Theoretical Computer Science > 2012 > 286 > Complete > 191-211
Computer Languages, Systems & Structures > 2012 > 38 > 2 > 181-198
Theoretical Computer Science > 2006 > 360 > 1-3 > 289-326