Wehrheim, Heike. Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design. University of Hildesheim, Germany, 1996.
LibreCat: /record/3260

Goltz, Ursula, and Heike Wehrheim. “Modelling Causality via Action Dependencies in Branching Time Semantics.”10.1016/0020-0190(96)00111-1__Inf. Process. Lett., no. 4, 1996, pp. 179--184, doi:10.1016/0020-0190(96)00111-1.
LibreCat: /record/3261
DOI: 10.1016/0020-0190(96)00111-1

Goltz, Ursula, and Heike Wehrheim. “Causal Testing.”10.1007/3-540-61550-4_165__Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, edited by Wojciech Penczek and Andrzej Szalas, 1996, pp. 394--406, doi:10.1007/3-540-61550-4_165.
LibreCat: /record/3262
DOI: 10.1007/3-540-61550-4_165

Rensink, Arend, and Heike Wehrheim. “Weak Sequential Composition in Process Algebras.”10.1007/978-3-540-48654-1_20__CONCUR ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, edited by Bengt Jonsson and Joachim Parrow, 1994, pp. 226--241, doi:10.1007/978-3-540-48654-1_20.
LibreCat: /record/3263
DOI: 10.1007/978-3-540-48654-1_20

Wehrheim, Heike. “Parametric Action Refinement.” Programming Concepts, Methods and Calculi, Proceedings of the IFIP T/W.1/W.2/W.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET ’94) San Miniato, Italy, 6-10 June, 1994, edited by Ernst-R\'22udiger Olderog, 1994, pp. 247--266.
LibreCat: /record/3264