Hierarchical Event-Based Behavioral Abstraction in Interactive Distributed Debugging: A Theoretical Approach

The full version is not available because the thesis is superseded by the following publications:
  1. T. Basten, T. Kunz, J.P. Black, M.H. Coffin, and D.J. Taylor. Vector Time and Causality among Abstract Events in Distributed Computations. Distributed Computing, 11(1):21-39, December 1997. (abstract / postscript / pdf)

  2. T. Basten. Parsing Partially Ordered Multisets. International Journal of Foundations of Computer Science, 8(4):379-407, December 1997. (abstract / postscript / pdf)

  3. T. Basten. Event Abstraction in Modeling Distributed Computations. In K. Ecker and M. Krämer, editors, Workshop on Parallel Processing, Proceedings, pages 46-65. Lessach, Austria, September 1993. Informatik-Bericht 94/1, Technische Universität Clausthal, Clausthal-Zellerfeld, Germany, 1994. (abstract / postscript / pdf )

Back to the list of Publications.