Specifying reactive systems with action dependencies: modelling and hierarchical design
H. Wehrheim, Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design, University of Hildesheim, Germany, 1996.
LibreCat: /record/3260

Modelling Causality via Action Dependencies in Branching Time Semantics
U. Goltz, H. Wehrheim, Inf. Process. Lett. (1996) 179--184.
LibreCat: /record/3261
DOI: 10.1016/0020-0190(96)00111-1

Causal Testing
U. Goltz, H. Wehrheim, in: W. Penczek, A. Szalas (Eds.), Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, 1996, pp. 394--406.
LibreCat: /record/3262
DOI: 10.1007/3-540-61550-4_165

Weak Sequential Composition in Process Algebras
A. Rensink, H. Wehrheim, in: B. Jonsson, J. Parrow (Eds.), CONCUR ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, 1994, pp. 226--241.
LibreCat: /record/3263
DOI: 10.1007/978-3-540-48654-1_20

Parametric Action Refinement
H. Wehrheim, in: E.-R\'22udiger Olderog (Ed.), 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, 1994, pp. 247--266.
LibreCat: /record/3264