Search results for: Egon Börger
Fundamenta Informaticae > 2020 > Vol. 177, nr 1 > 1--37
Science of Computer Programming > 2016 > 131 > C > 42-58
Lecture Notes in Computer Science > Abstract State Machines - Theory and Applications > Compilers and Semantics > 223-241
Lecture Notes in Computer Science > Business Process Management Workshops > Workshop on Web Service Choreography and Orchestration for Business Process Management > 116-129
Lecture Notes in Computer Science > Formal Syntax and Semantics of Java > Semantic Approaches > 353-404
Lecture Notes in Computer Science > Abstract State Machines - Theory and Applications > Industrial Applications > 361-366
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 1. ABZ Invited Talks > 24-38