Stokkink
Stokkink
Verified email at utwente.nl
Title
Cited by
Cited by
Year
Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation
G Stokkink, M Timmer, M Stoelinga
arXiv preprint arXiv:1202.6124, 2012
132012
Divergent quiescent transition systems
WGJ Stokkink, M Timmer, MIA Stoelinga
International Conference on Tests and Proofs, 214-231, 2013
122013
Performance evaluation of severe congestion handling solutions for multilevel service in rmd domains
G Stokkink
Proceedings of 4th Twente Student Conference on IT (TSConIT’06), University …, 2006
62006
Quiescent transition systems
G Stokkink
University of Twente, 2012
32012
Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version)
WGJ Stokkink, M Timmer, MIA Stoelinga
CTIT Technical Report Series, 2012
32012
Divergent quiescent transition systems (extended version)
WGJ Stokkink, M Timmer, MIA Stoelinga
CTIT Technical Report Series, 2013
12013
The Limola Model Checker
G Stokkink, G Kant
2007
Projectdocument
A Laarman, M ter Maat, G Stokkink, C Versloot, R Wilterdink
The system can't perform the operation now. Try again later.
Articles 1–8