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