{"year":"1996","_id":"3261","date_updated":"2022-01-06T06:59:07Z","status":"public","author":[{"first_name":"Ursula","last_name":"Goltz","full_name":"Goltz, Ursula"},{"first_name":"Heike","id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}],"title":"Modelling Causality via Action Dependencies in Branching Time Semantics","date_created":"2018-06-14T07:52:02Z","issue":"4","publication":"Inf. Process. Lett.","page":"179--184","type":"journal_article","user_id":"29719","citation":{"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.","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>","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>","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>.","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."},"department":[{"_id":"77"}],"doi":"10.1016/0020-0190(96)00111-1"}