---
_id: '3259'
author:
- first_name: Arend
  full_name: Rensink, Arend
  last_name: Rensink
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Rensink A, Wehrheim H. Dependency-Based Action Refinement. In: Pr{\’{\i}}vara
    I, Ruzicka P, eds. <i>Mathematical Foundations of Computer Science 1997, 22nd
    International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings</i>.
    Lecture Notes in Computer Science. ; 1997:468--477. doi:<a href="https://doi.org/10.1007/BFb0029990">10.1007/BFb0029990</a>'
  apa: Rensink, A., &#38; Wehrheim, H. (1997). Dependency-Based Action Refinement.
    In I. Pr{\’{\i}}vara &#38; P. Ruzicka (Eds.), <i>Mathematical Foundations of Computer
    Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August
    25-29, 1997, Proceedings</i> (pp. 468--477). <a href="https://doi.org/10.1007/BFb0029990">https://doi.org/10.1007/BFb0029990</a>
  bibtex: '@inproceedings{Rensink_Wehrheim_1997, series={Lecture Notes in Computer
    Science}, title={Dependency-Based Action Refinement}, DOI={<a href="https://doi.org/10.1007/BFb0029990">10.1007/BFb0029990</a>},
    booktitle={Mathematical Foundations of Computer Science 1997, 22nd International
    Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings}, author={Rensink,
    Arend and Wehrheim, Heike}, editor={Pr{\’{\i}}vara, Igor and Ruzicka, PeterEditors},
    year={1997}, pages={468--477}, collection={Lecture Notes in Computer Science}
    }'
  chicago: Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.”
    In <i>Mathematical Foundations of Computer Science 1997, 22nd International Symposium,
    MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings</i>, edited by
    Igor Pr{\’{\i}}vara and Peter Ruzicka, 468--477. Lecture Notes in Computer Science,
    1997. <a href="https://doi.org/10.1007/BFb0029990">https://doi.org/10.1007/BFb0029990</a>.
  ieee: A. Rensink and H. Wehrheim, “Dependency-Based Action Refinement,” in <i>Mathematical
    Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava,
    Slovakia, August 25-29, 1997, Proceedings</i>, 1997, pp. 468--477.
  mla: Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.” <i>Mathematical
    Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava,
    Slovakia, August 25-29, 1997, Proceedings</i>, edited by Igor Pr{\’{\i}}vara and
    Peter Ruzicka, 1997, pp. 468--477, doi:<a href="https://doi.org/10.1007/BFb0029990">10.1007/BFb0029990</a>.
  short: 'A. Rensink, H. Wehrheim, in: I. Pr{\’{\i}}vara, P. Ruzicka (Eds.), Mathematical
    Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava,
    Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.'
date_created: 2018-06-14T07:43:09Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/BFb0029990
editor:
- first_name: Igor
  full_name: Pr{\'{\i}}vara, Igor
  last_name: Pr{\'{\i}}vara
- first_name: Peter
  full_name: Ruzicka, Peter
  last_name: Ruzicka
page: 468--477
publication: Mathematical Foundations of Computer Science 1997, 22nd International
  Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Dependency-Based Action Refinement
type: conference
user_id: '29719'
year: '1997'
...
---
_id: '3260'
author:
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Wehrheim H. <i>Specifying Reactive Systems with Action Dependencies: Modelling
    and Hierarchical Design</i>. University of Hildesheim, Germany; 1996.'
  apa: 'Wehrheim, H. (1996). <i>Specifying reactive systems with action dependencies:
    modelling and hierarchical design</i>. University of Hildesheim, Germany.'
  bibtex: '@book{Wehrheim_1996, title={Specifying reactive systems with action dependencies:
    modelling and hierarchical design}, publisher={University of Hildesheim, Germany},
    author={Wehrheim, Heike}, year={1996} }'
  chicago: 'Wehrheim, Heike. <i>Specifying Reactive Systems with Action Dependencies:
    Modelling and Hierarchical Design</i>. University of Hildesheim, Germany, 1996.'
  ieee: 'H. Wehrheim, <i>Specifying reactive systems with action dependencies: modelling
    and hierarchical design</i>. University of Hildesheim, Germany, 1996.'
  mla: 'Wehrheim, Heike. <i>Specifying Reactive Systems with Action Dependencies:
    Modelling and Hierarchical Design</i>. University of Hildesheim, Germany, 1996.'
  short: 'H. Wehrheim, Specifying Reactive Systems with Action Dependencies: Modelling
    and Hierarchical Design, University of Hildesheim, Germany, 1996.'
date_created: 2018-06-14T07:44:32Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
publisher: University of Hildesheim, Germany
status: public
title: 'Specifying reactive systems with action dependencies: modelling and hierarchical
  design'
type: dissertation
user_id: '29719'
year: '1996'
...
---
_id: '3261'
author:
- first_name: Ursula
  full_name: Goltz, Ursula
  last_name: Goltz
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: Goltz U, Wehrheim H. Modelling Causality via Action Dependencies in Branching
    Time Semantics. <i>Inf Process Lett</i>. 1996;(4):179--184. doi:<a href="https://doi.org/10.1016/0020-0190(96)00111-1">10.1016/0020-0190(96)00111-1</a>
  apa: Goltz, U., &#38; Wehrheim, H. (1996). Modelling Causality via Action Dependencies
    in Branching Time Semantics. <i>Inf. Process. Lett.</i>, (4), 179--184. <a href="https://doi.org/10.1016/0020-0190(96)00111-1">https://doi.org/10.1016/0020-0190(96)00111-1</a>
  bibtex: '@article{Goltz_Wehrheim_1996, title={Modelling Causality via Action Dependencies
    in Branching Time Semantics}, DOI={<a href="https://doi.org/10.1016/0020-0190(96)00111-1">10.1016/0020-0190(96)00111-1</a>},
    number={4}, journal={Inf. Process. Lett.}, author={Goltz, Ursula and Wehrheim,
    Heike}, year={1996}, pages={179--184} }'
  chicago: 'Goltz, Ursula, and Heike Wehrheim. “Modelling Causality via Action Dependencies
    in Branching Time Semantics.” <i>Inf. Process. Lett.</i>, no. 4 (1996): 179--184.
    <a href="https://doi.org/10.1016/0020-0190(96)00111-1">https://doi.org/10.1016/0020-0190(96)00111-1</a>.'
  ieee: U. Goltz and H. Wehrheim, “Modelling Causality via Action Dependencies in
    Branching Time Semantics,” <i>Inf. Process. Lett.</i>, no. 4, pp. 179--184, 1996.
  mla: Goltz, Ursula, and Heike Wehrheim. “Modelling Causality via Action Dependencies
    in Branching Time Semantics.” <i>Inf. Process. Lett.</i>, no. 4, 1996, pp. 179--184,
    doi:<a href="https://doi.org/10.1016/0020-0190(96)00111-1">10.1016/0020-0190(96)00111-1</a>.
  short: U. Goltz, H. Wehrheim, Inf. Process. Lett. (1996) 179--184.
date_created: 2018-06-14T07:52:02Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1016/0020-0190(96)00111-1
issue: '4'
page: 179--184
publication: Inf. Process. Lett.
status: public
title: Modelling Causality via Action Dependencies in Branching Time Semantics
type: journal_article
user_id: '29719'
year: '1996'
...
---
_id: '3262'
author:
- first_name: Ursula
  full_name: Goltz, Ursula
  last_name: Goltz
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Goltz U, Wehrheim H. Causal Testing. In: Penczek W, Szalas A, eds. <i>Mathematical
    Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow,
    Poland, September 2-6, 1996, Proceedings</i>. Lecture Notes in Computer Science.
    ; 1996:394--406. doi:<a href="https://doi.org/10.1007/3-540-61550-4_165">10.1007/3-540-61550-4_165</a>'
  apa: Goltz, U., &#38; Wehrheim, H. (1996). Causal Testing. In W. Penczek &#38; A.
    Szalas (Eds.), <i>Mathematical Foundations of Computer Science 1996, 21st International
    Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings</i> (pp.
    394--406). <a href="https://doi.org/10.1007/3-540-61550-4_165">https://doi.org/10.1007/3-540-61550-4_165</a>
  bibtex: '@inproceedings{Goltz_Wehrheim_1996, series={Lecture Notes in Computer Science},
    title={Causal Testing}, DOI={<a href="https://doi.org/10.1007/3-540-61550-4_165">10.1007/3-540-61550-4_165</a>},
    booktitle={Mathematical Foundations of Computer Science 1996, 21st International
    Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings}, author={Goltz,
    Ursula and Wehrheim, Heike}, editor={Penczek, Wojciech and Szalas, AndrzejEditors},
    year={1996}, pages={394--406}, collection={Lecture Notes in Computer Science}
    }'
  chicago: Goltz, Ursula, and Heike Wehrheim. “Causal Testing.” In <i>Mathematical
    Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow,
    Poland, September 2-6, 1996, Proceedings</i>, edited by Wojciech Penczek and Andrzej
    Szalas, 394--406. Lecture Notes in Computer Science, 1996. <a href="https://doi.org/10.1007/3-540-61550-4_165">https://doi.org/10.1007/3-540-61550-4_165</a>.
  ieee: U. Goltz and H. Wehrheim, “Causal Testing,” in <i>Mathematical Foundations
    of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland,
    September 2-6, 1996, Proceedings</i>, 1996, pp. 394--406.
  mla: Goltz, Ursula, and Heike Wehrheim. “Causal Testing.” <i>Mathematical Foundations
    of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland,
    September 2-6, 1996, Proceedings</i>, edited by Wojciech Penczek and Andrzej Szalas,
    1996, pp. 394--406, doi:<a href="https://doi.org/10.1007/3-540-61550-4_165">10.1007/3-540-61550-4_165</a>.
  short: '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.'
date_created: 2018-06-14T07:53:08Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/3-540-61550-4_165
editor:
- first_name: Wojciech
  full_name: Penczek, Wojciech
  last_name: Penczek
- first_name: Andrzej
  full_name: Szalas, Andrzej
  last_name: Szalas
page: 394--406
publication: Mathematical Foundations of Computer Science 1996, 21st International
  Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Causal Testing
type: conference
user_id: '29719'
year: '1996'
...
---
_id: '3263'
author:
- first_name: Arend
  full_name: Rensink, Arend
  last_name: Rensink
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Rensink A, Wehrheim H. Weak Sequential Composition in Process Algebras. In:
    Jonsson B, Parrow J, eds. <i>{CONCUR} ’94, Concurrency Theory, 5th International
    Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings</i>. Lecture Notes
    in Computer Science. ; 1994:226--241. doi:<a href="https://doi.org/10.1007/978-3-540-48654-1_20">10.1007/978-3-540-48654-1_20</a>'
  apa: Rensink, A., &#38; Wehrheim, H. (1994). Weak Sequential Composition in Process
    Algebras. In B. Jonsson &#38; J. Parrow (Eds.), <i>{CONCUR} ’94, Concurrency Theory,
    5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings</i>
    (pp. 226--241). <a href="https://doi.org/10.1007/978-3-540-48654-1_20">https://doi.org/10.1007/978-3-540-48654-1_20</a>
  bibtex: '@inproceedings{Rensink_Wehrheim_1994, series={Lecture Notes in Computer
    Science}, title={Weak Sequential Composition in Process Algebras}, DOI={<a href="https://doi.org/10.1007/978-3-540-48654-1_20">10.1007/978-3-540-48654-1_20</a>},
    booktitle={{CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala,
    Sweden, August 22-25, 1994, Proceedings}, author={Rensink, Arend and Wehrheim,
    Heike}, editor={Jonsson, Bengt and Parrow, JoachimEditors}, year={1994}, pages={226--241},
    collection={Lecture Notes in Computer Science} }'
  chicago: Rensink, Arend, and Heike Wehrheim. “Weak Sequential Composition in Process
    Algebras.” In <i>{CONCUR} ’94, Concurrency Theory, 5th International Conference,
    Uppsala, Sweden, August 22-25, 1994, Proceedings</i>, edited by Bengt Jonsson
    and Joachim Parrow, 226--241. Lecture Notes in Computer Science, 1994. <a href="https://doi.org/10.1007/978-3-540-48654-1_20">https://doi.org/10.1007/978-3-540-48654-1_20</a>.
  ieee: A. Rensink and H. Wehrheim, “Weak Sequential Composition in Process Algebras,”
    in <i>{CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala,
    Sweden, August 22-25, 1994, Proceedings</i>, 1994, pp. 226--241.
  mla: Rensink, Arend, and Heike Wehrheim. “Weak Sequential Composition in Process
    Algebras.” <i>{CONCUR} ’94, Concurrency Theory, 5th International Conference,
    Uppsala, Sweden, August 22-25, 1994, Proceedings</i>, edited by Bengt Jonsson
    and Joachim Parrow, 1994, pp. 226--241, doi:<a href="https://doi.org/10.1007/978-3-540-48654-1_20">10.1007/978-3-540-48654-1_20</a>.
  short: '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.'
date_created: 2018-06-14T07:54:32Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/978-3-540-48654-1_20
editor:
- first_name: Bengt
  full_name: Jonsson, Bengt
  last_name: Jonsson
- first_name: Joachim
  full_name: Parrow, Joachim
  last_name: Parrow
page: 226--241
publication: '{CONCUR} ''94, Concurrency Theory, 5th International Conference, Uppsala,
  Sweden, August 22-25, 1994, Proceedings'
series_title: Lecture Notes in Computer Science
status: public
title: Weak Sequential Composition in Process Algebras
type: conference
user_id: '29719'
year: '1994'
...
---
_id: '3264'
author:
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Wehrheim H. Parametric Action Refinement. In: Olderog E-}R{\"{u}}diger, ed.
    <i>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</i>. {IFIP} Transactions. ; 1994:247--266.'
  apa: Wehrheim, H. (1994). Parametric Action Refinement. In E.-}R{\"{u}}diger Olderog
    (Ed.), <i>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</i> (pp. 247--266).
  bibtex: '@inproceedings{Wehrheim_1994, series={{IFIP} Transactions}, title={Parametric
    Action Refinement}, 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}, author={Wehrheim,
    Heike}, editor={Olderog, Ernst{-}R{\"{u}}digerEditor}, year={1994}, pages={247--266},
    collection={{IFIP} Transactions} }'
  chicago: Wehrheim, Heike. “Parametric Action Refinement.” In <i>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</i>, edited by Ernst{-}R{\"{u}}diger Olderog, 247--266.
    {IFIP} Transactions, 1994.
  ieee: H. Wehrheim, “Parametric Action Refinement,” in <i>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</i>, 1994, pp. 247--266.
  mla: Wehrheim, Heike. “Parametric Action Refinement.” <i>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</i>, edited by Ernst{-}R{\"{u}}diger Olderog, 1994, pp. 247--266.
  short: 'H. Wehrheim, in: E.-}R{\"{u}}diger Olderog (Ed.), 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, 1994, pp. 247--266.'
date_created: 2018-06-14T07:55:40Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
editor:
- first_name: Ernst{-}R{\"{u}}diger
  full_name: Olderog, Ernst{-}R{\"{u}}diger
  last_name: Olderog
page: 247--266
publication: 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
series_title: '{IFIP} Transactions'
status: public
title: Parametric Action Refinement
type: conference
user_id: '29719'
year: '1994'
...