Suivre
Maxim Strygin
Maxim Strygin
Computer Science, University of Birmingham
Adresse e-mail validée de cs.bham.ac.uk
Titre
Citée par
Citée par
Année
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–2