Maxim Strygin
Maxim Strygin
Computer Science, University of Birmingham
Verified email at cs.bham.ac.uk
Title
Cited by
Cited by
Year
Operational semantics for signal handling
M Strygin, H Thielecke
arXiv preprint arXiv:1208.2754, 2012
12012
Semantics and logics for signals
M Strygin
University of Birmingham, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–2