Gehrke, Thomas, et al. “A Process Algebra Semantics for MSC Including Conditions.” Formale Beschreibungstechniken F\'22ur Verteilte Systeme, 8. GI/ITG-Fachgespr\'22ach, Cottbus, 4. Und 5. Juni 1998, edited by Hartmut K\'22onig and Peter Langend\'22orfer, 1998, pp. 185--196.
LibreCat: /record/3255

Gehrke, Thomas, et al. “An Algebraic Semantics for Message Sequence Chart Documents.” Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII’98, IFIP T W.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France, edited by Stanislaw Budkowski et al., 1998, pp. 3--18.
LibreCat: /record/3256

Huhn, Michaela, et al. “Partial Order Reductions for Bisimulation Checking.”10.1007/978-3-540-49382-2_26__Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings, edited by Vikraman Arvind and Ramaswamy Ramanujam, 1998, pp. 271--282, doi:10.1007/978-3-540-49382-2_26.
LibreCat: /record/3257
DOI: 10.1007/978-3-540-49382-2_26

Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.”10.1007/BFb0029990__Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, edited by Igor Pr\rquote vara and Peter Ruzicka, 1997, pp. 468--477, doi:10.1007/BFb0029990.
LibreCat: /record/3258
DOI: 10.1007/BFb0029990

Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.”10.1007/BFb0029990__Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, edited by Igor Pr\rquote vara and Peter Ruzicka, 1997, pp. 468--477, doi:10.1007/BFb0029990.
LibreCat: /record/3259
DOI: 10.1007/BFb0029990

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