EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Author: Stokkink, W.G.J.
Home Policy Brochure Browse Search User Area Contact Help

2013

Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2013) Divergent Quiescent Transition Systems (extended version). Technical Report TR-CTIT-13-08, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2013) Divergent quiescent transition systems. In: Proceedings of the 7th International Conference on Tests and Proofs (TAP 2013), 18-19 June 2013, Budapest, Hungary. pp. 214-231. Lecture Notes in Computer Science 7942. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-38915-3

2012

Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2012) Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version). Technical Report TR-CTIT-12-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2012) Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation. In: Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012), 25 Mar 2012, Tallinn, Estonia. pp. 73-87. Electronic Proceedings in Theoretical Computer Science 80. Open Publishing Association. ISSN 2075-2180