Affordable Access

From Semantics to Spatial Distributions

Springer Verlag
Publication Date
  • Education
  • Mathematics


Algebra and Automata for Timed and Stochastic Systems Pedro R. D’Argenio Algebras and Automata for Timed and Stochastic Systems D’Argenio, Pedro Ruben. Algebras and Automata for Timed and Stochastic System / Pedro Ruben D’Argenio. - Doctoral Thesis, University of Twente, 1997. ISBN 90-365-1363-4 Subject headings: automaton / process algebra / system specification / verifica- tion / real-time / performance analysis. The research reported in this dissertation has been supported by the Netherlands Computer Science Research foundation (SION) with financial support from the Netherlands Organization for Scientific Research (NWO) within the scope of the project NWO/SION 612-33-006. The research has been carried out under the auspicies of the Institute for Programming Research and Algorithmics (IPA) and within the context of the Centre for Telematics and Information Technology (CTIT). IPA Dissertation Series 1999-10 CTIT PhD-Thesis Series 99-25 ISSN 1381-3617 Copyright c© 1999, Pedro R. D’Argenio, Enschede, The Netherlands. Printed by Print Partners Ipskamp, Enschede. ALGEBRAS AND AUTOMATA FOR TIMED AND STOCHASTIC SYSTEMS PROEFSCHRIFT ter verkrijging van de graad van doctor aan the Universiteit Twente, op gezagd van de rector magnificus, prof.dr. F.A. van Vught volgens besluit van het College voor Promoties in het openbaar te verdedigen op vrijdag 5 November 1999 te 16:45 uur. door Pedro R. D’Argenio geboren op 14 juli 1968 te La Plata, Buenos Aires, Argentinie¨. Dit proefschrift is goedgekeurd door de promotor prof. dr. H. Brinksma A mi mama´ y mi papa´. Decir el por que´ es imposible e innecesario. Las razones son inagotables y obvias a la vez. Acknowledgements I will be a little unconventional and reserve the first place to thank others than my su- pervisor. I would like to address the first acknowledgements to four persons that made it possible for me to actually start my doctoral education. First of all, I would like to thank Car

There are no comments yet on this publication. Be the first to share your thoughts.


Seen <100 times