@inproceedings{3259,
  author       = {{Rensink, Arend and Wehrheim, Heike}},
  booktitle    = {{Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings}},
  editor       = {{Pr{\'{\i}}vara, Igor and Ruzicka, Peter}},
  pages        = {{468----477}},
  title        = {{{Dependency-Based Action Refinement}}},
  doi          = {{10.1007/BFb0029990}},
  year         = {{1997}},
}

@phdthesis{3260,
  author       = {{Wehrheim, Heike}},
  publisher    = {{University of Hildesheim, Germany}},
  title        = {{{Specifying reactive systems with action dependencies: modelling and hierarchical design}}},
  year         = {{1996}},
}

@article{3261,
  author       = {{Goltz, Ursula and Wehrheim, Heike}},
  journal      = {{Inf. Process. Lett.}},
  number       = {{4}},
  pages        = {{179----184}},
  title        = {{{Modelling Causality via Action Dependencies in Branching Time Semantics}}},
  doi          = {{10.1016/0020-0190(96)00111-1}},
  year         = {{1996}},
}

@inproceedings{3262,
  author       = {{Goltz, Ursula and Wehrheim, Heike}},
  booktitle    = {{Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings}},
  editor       = {{Penczek, Wojciech and Szalas, Andrzej}},
  pages        = {{394----406}},
  title        = {{{Causal Testing}}},
  doi          = {{10.1007/3-540-61550-4_165}},
  year         = {{1996}},
}

@inproceedings{3263,
  author       = {{Rensink, Arend and Wehrheim, Heike}},
  booktitle    = {{{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings}},
  editor       = {{Jonsson, Bengt and Parrow, Joachim}},
  pages        = {{226----241}},
  title        = {{{Weak Sequential Composition in Process Algebras}}},
  doi          = {{10.1007/978-3-540-48654-1_20}},
  year         = {{1994}},
}

@inproceedings{3264,
  author       = {{Wehrheim, Heike}},
  booktitle    = {{Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June, 1994}},
  editor       = {{Olderog, Ernst{-}R{\"{u}}diger}},
  pages        = {{247----266}},
  title        = {{{Parametric Action Refinement}}},
  year         = {{1994}},
}