@inproceedings{3249,
  author       = {{Fischer, Clemens and Wehrheim, Heike}},
  booktitle    = {{Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings}},
  editor       = {{Rus, Teodor}},
  pages        = {{469----483}},
  title        = {{{Behavioural Subtyping Relations for Object-Oriented Formalisms}}},
  doi          = {{10.1007/3-540-45499-3_33}},
  year         = {{2000}},
}

@inproceedings{3250,
  author       = {{Wehrheim, Heike}},
  booktitle    = {{Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings}},
  editor       = {{S. E. Maibaum, T.}},
  pages        = {{334----348}},
  title        = {{{Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods}}},
  doi          = {{10.1007/3-540-46428-X_23}},
  year         = {{2000}},
}

@inproceedings{3251,
  author       = {{Wehrheim, Heike}},
  booktitle    = {{Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}}},
  editor       = {{F. Smith, Scott and L. Talcott, Carolyn}},
  pages        = {{213----231}},
  title        = {{{Behavioural Subtyping and Property Preservation}}},
  doi          = {{10.1007/978-0-387-35520-7_11}},
  year         = {{2000}},
}

@article{3252,
  author       = {{Wehrheim, Heike}},
  journal      = {{Electr. Notes Theor. Comput. Sci.}},
  pages        = {{71----84}},
  title        = {{{Partial order reductions for failures refinement}}},
  doi          = {{10.1016/S1571-0661(05)80296-8}},
  year         = {{1999}},
}

@inproceedings{3253,
  author       = {{Wehrheim, Heike}},
  booktitle    = {{FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}}},
  editor       = {{M. Wing, Jeannette and Woodcock, Jim and Davies, Jim}},
  pages        = {{1028----1047}},
  title        = {{{Data Abstraction for {CSP-OZ}}}},
  doi          = {{10.1007/3-540-48118-4_5}},
  year         = {{1999}},
}

@inproceedings{3254,
  author       = {{Fischer, Clemens and Wehrheim, Heike}},
  booktitle    = {{Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999}},
  editor       = {{Araki, Keijiro and Galloway, Andy and Taguchi, Kenji}},
  pages        = {{315----334}},
  title        = {{{Model-Checking {CSP-OZ} Specifications with {FDR}}}},
  year         = {{1999}},
}

@inproceedings{3255,
  author       = {{Gehrke, Thomas and Huhn, Michaela and Niebert, Peter and Rensink, Arend and Wehrheim, Heike}},
  booktitle    = {{Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998}},
  editor       = {{K{\"{o}}nig, Hartmut and Langend{\"{o}}rfer, Peter}},
  pages        = {{185----196}},
  title        = {{{A Process Algebra Semantics for {MSC} Including Conditions}}},
  year         = {{1998}},
}

@inproceedings{3256,
  author       = {{Gehrke, Thomas and Huhn, Michaela and Rensink, Arend and Wehrheim, Heike}},
  booktitle    = {{Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII'98, {IFIP} {TC6} {WG6.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}},
  editor       = {{Budkowski, Stanislaw and R. Cavalli, Ana and Najm, Elie}},
  pages        = {{3----18}},
  title        = {{{An Algebraic Semantics for Message Sequence Chart Documents}}},
  year         = {{1998}},
}

@inproceedings{3257,
  author       = {{Huhn, Michaela and Niebert, Peter and Wehrheim, Heike}},
  booktitle    = {{Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings}},
  editor       = {{Arvind, Vikraman and Ramanujam, Ramaswamy}},
  pages        = {{271----282}},
  title        = {{{Partial Order Reductions for Bisimulation Checking}}},
  doi          = {{10.1007/978-3-540-49382-2_26}},
  year         = {{1998}},
}

@inproceedings{3258,
  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}},
}

@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}},
}