Gerjan Stokkink

According to our database, Gerjan Stokkink authored at least 2 papers between 2012 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2013

Divergent Quiescent Transition Systems.

Willem Gerrit Johan Stokkink, Mark Timmer, Mariëlle Stoelinga

Proceedings of the Tests and Proofs - 7th International Conference, 2013

2012

Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation

Gerjan Stokkink, Mark Timmer, Mariëlle Stoelinga

Proceedings of the Proceedings 7th Workshop on Model-Based Testing, 2012