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