[{"doi":"10.1007/11494881_5","_id":"3229","date_updated":"2022-01-06T06:59:06Z","citation":{"bibtex":"@inproceedings{Rasch_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Checking the Validity of Scenarios in {UML} Models}, DOI={10.1007/11494881_5}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings}, author={Rasch, Holger and Wehrheim, Heike}, editor={Steffen, Martin and Zavattaro, GianluigiEditors}, year={2005}, pages={67--82}, collection={Lecture Notes in Computer Science} }","mla":"Rasch, Holger, and Heike Wehrheim. “Checking the Validity of Scenarios in {UML} Models.” Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, edited by Martin Steffen and Gianluigi Zavattaro, 2005, pp. 67--82, doi:10.1007/11494881_5.","chicago":"Rasch, Holger, and Heike Wehrheim. “Checking the Validity of Scenarios in {UML} Models.” In Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, edited by Martin Steffen and Gianluigi Zavattaro, 67--82. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11494881_5.","ama":"Rasch H, Wehrheim H. Checking the Validity of Scenarios in {UML} Models. In: Steffen M, Zavattaro G, eds. Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings. Lecture Notes in Computer Science. ; 2005:67--82. doi:10.1007/11494881_5","apa":"Rasch, H., & Wehrheim, H. (2005). Checking the Validity of Scenarios in {UML} Models. In M. Steffen & G. Zavattaro (Eds.), Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings (pp. 67--82). https://doi.org/10.1007/11494881_5","ieee":"H. Rasch and H. Wehrheim, “Checking the Validity of Scenarios in {UML} Models,” in Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82.","short":"H. Rasch, H. Wehrheim, in: M. Steffen, G. Zavattaro (Eds.), Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82."},"type":"conference","year":"2005","page":"67--82","series_title":"Lecture Notes in Computer Science","user_id":"29719","title":"Checking the Validity of Scenarios in {UML} Models","status":"public","date_created":"2018-06-14T06:41:20Z","editor":[{"last_name":"Steffen","full_name":"Steffen, Martin","first_name":"Martin"},{"first_name":"Gianluigi","full_name":"Zavattaro, Gianluigi","last_name":"Zavattaro"}],"author":[{"last_name":"Rasch","full_name":"Rasch, Holger","first_name":"Holger"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"publication":"Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings","department":[{"_id":"77"}]},{"page":"360--374","year":"2005","citation":{"apa":"Brückner, I., & Wehrheim, H. (2005). Slicing an Integrated Formal Method for Verification. In K.-}Kiu Lau & R. Banach (Eds.), Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings (pp. 360--374). https://doi.org/10.1007/11576280_25","ama":"Brückner I, Wehrheim H. Slicing an Integrated Formal Method for Verification. In: Lau K-}Kiu, Banach R, eds. Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings. Lecture Notes in Computer Science. ; 2005:360--374. doi:10.1007/11576280_25","chicago":"Brückner, Ingo, and Heike Wehrheim. “Slicing an Integrated Formal Method for Verification.” In Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, edited by Kung{-}Kiu Lau and Richard Banach, 360--374. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11576280_25.","mla":"Brückner, Ingo, and Heike Wehrheim. “Slicing an Integrated Formal Method for Verification.” Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, edited by Kung{-}Kiu Lau and Richard Banach, 2005, pp. 360--374, doi:10.1007/11576280_25.","bibtex":"@inproceedings{Brückner_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Slicing an Integrated Formal Method for Verification}, DOI={10.1007/11576280_25}, booktitle={Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings}, author={Brückner, Ingo and Wehrheim, Heike}, editor={Lau, Kung{-}Kiu and Banach, RichardEditors}, year={2005}, pages={360--374}, collection={Lecture Notes in Computer Science} }","short":"I. Brückner, H. Wehrheim, in: K.-}Kiu Lau, R. Banach (Eds.), Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360--374.","ieee":"I. Brückner and H. Wehrheim, “Slicing an Integrated Formal Method for Verification,” in Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360--374."},"type":"conference","series_title":"Lecture Notes in Computer Science","doi":"10.1007/11576280_25","_id":"3230","date_updated":"2022-01-06T06:59:06Z","date_created":"2018-06-14T06:42:51Z","status":"public","editor":[{"full_name":"Lau, Kung{-}Kiu","first_name":"Kung{-}Kiu","last_name":"Lau"},{"last_name":"Banach","first_name":"Richard","full_name":"Banach, Richard"}],"publication":"Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings","department":[{"_id":"77"}],"author":[{"last_name":"Brückner","full_name":"Brückner, Ingo","first_name":"Ingo"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"user_id":"29719","title":"Slicing an Integrated Formal Method for Verification"},{"status":"public","date_created":"2018-06-14T06:44:17Z","editor":[{"last_name":"Treharne","full_name":"Treharne, Helen","first_name":"Helen"},{"first_name":"Steve","full_name":"King, Steve","last_name":"King"},{"full_name":"C. Henson, Martin","first_name":"Martin","last_name":"C. Henson"},{"last_name":"A. Schneider","first_name":"Steve","full_name":"A. Schneider, Steve"}],"author":[{"full_name":"Derrick, John","first_name":"John","last_name":"Derrick"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"department":[{"_id":"77"}],"publication":"{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings","user_id":"29719","title":"Non-atomic Refinement in {Z} and {CSP}","type":"conference","year":"2005","citation":{"bibtex":"@inproceedings{Derrick_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Non-atomic Refinement in {Z} and {CSP}}, DOI={10.1007/11415787_3}, booktitle={{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings}, author={Derrick, John and Wehrheim, Heike}, editor={Treharne, Helen and King, Steve and C. Henson, Martin and A. Schneider, SteveEditors}, year={2005}, pages={24--44}, collection={Lecture Notes in Computer Science} }","mla":"Derrick, John, and Heike Wehrheim. “Non-Atomic Refinement in {Z} and {CSP}.” {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, edited by Helen Treharne et al., 2005, pp. 24--44, doi:10.1007/11415787_3.","chicago":"Derrick, John, and Heike Wehrheim. “Non-Atomic Refinement in {Z} and {CSP}.” In {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, edited by Helen Treharne, Steve King, Martin C. Henson, and Steve A. Schneider, 24--44. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11415787_3.","apa":"Derrick, J., & Wehrheim, H. (2005). Non-atomic Refinement in {Z} and {CSP}. In H. Treharne, S. King, M. C. Henson, & S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings (pp. 24--44). https://doi.org/10.1007/11415787_3","ama":"Derrick J, Wehrheim H. Non-atomic Refinement in {Z} and {CSP}. In: Treharne H, King S, C. Henson M, A. Schneider S, eds. {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings. Lecture Notes in Computer Science. ; 2005:24--44. doi:10.1007/11415787_3","ieee":"J. Derrick and H. Wehrheim, “Non-atomic Refinement in {Z} and {CSP},” in {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 24--44.","short":"J. Derrick, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 24--44."},"page":"24--44","series_title":"Lecture Notes in Computer Science","doi":"10.1007/11415787_3","date_updated":"2022-01-06T06:59:06Z","_id":"3231"},{"series_title":"Lecture Notes in Computer Science","page":"414--433","year":"2005","type":"conference","citation":{"ieee":"I. Brückner and H. Wehrheim, “Slicing Object-Z Specifications for Verification,” in {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 414--433.","short":"I. Brückner, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 414--433.","mla":"Brückner, Ingo, and Heike Wehrheim. “Slicing Object-Z Specifications for Verification.” {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, edited by Helen Treharne et al., 2005, pp. 414--433, doi:10.1007/11415787_24.","bibtex":"@inproceedings{Brückner_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Slicing Object-Z Specifications for Verification}, DOI={10.1007/11415787_24}, booktitle={{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings}, author={Brückner, Ingo and Wehrheim, Heike}, editor={Treharne, Helen and King, Steve and C. Henson, Martin and A. Schneider, SteveEditors}, year={2005}, pages={414--433}, collection={Lecture Notes in Computer Science} }","ama":"Brückner I, Wehrheim H. Slicing Object-Z Specifications for Verification. In: Treharne H, King S, C. Henson M, A. Schneider S, eds. {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings. Lecture Notes in Computer Science. ; 2005:414--433. doi:10.1007/11415787_24","apa":"Brückner, I., & Wehrheim, H. (2005). Slicing Object-Z Specifications for Verification. In H. Treharne, S. King, M. C. Henson, & S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings (pp. 414--433). https://doi.org/10.1007/11415787_24","chicago":"Brückner, Ingo, and Heike Wehrheim. “Slicing Object-Z Specifications for Verification.” In {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, edited by Helen Treharne, Steve King, Martin C. Henson, and Steve A. Schneider, 414--433. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11415787_24."},"_id":"3232","date_updated":"2022-01-06T06:59:06Z","doi":"10.1007/11415787_24","department":[{"_id":"77"}],"publication":"{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings","author":[{"first_name":"Ingo","full_name":"Brückner, Ingo","last_name":"Brückner"},{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"date_created":"2018-06-14T06:45:30Z","status":"public","editor":[{"last_name":"Treharne","full_name":"Treharne, Helen","first_name":"Helen"},{"last_name":"King","full_name":"King, Steve","first_name":"Steve"},{"last_name":"C. Henson","full_name":"C. Henson, Martin","first_name":"Martin"},{"last_name":"A. Schneider","full_name":"A. Schneider, Steve","first_name":"Steve"}],"user_id":"29719","title":"Slicing Object-Z Specifications for Verification"},{"doi":"10.1007/11786160_5","date_updated":"2022-01-06T06:59:06Z","_id":"3233","page":"84--102","type":"conference","year":"2004","citation":{"apa":"Wehrheim, H. (2004). Refinement and Consistency in Component Models with Multiple Views. In R. H. Reussner, J. A. Stafford, & C. A. Szyperski (Eds.), Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers (pp. 84--102). https://doi.org/10.1007/11786160_5","ama":"Wehrheim H. Refinement and Consistency in Component Models with Multiple Views. In: H. Reussner R, A. Stafford J, A. Szyperski C, eds. Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers. Lecture Notes in Computer Science. ; 2004:84--102. doi:10.1007/11786160_5","chicago":"Wehrheim, Heike. “Refinement and Consistency in Component Models with Multiple Views.” In Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, edited by Ralf H. Reussner, Judith A. Stafford, and Clemens A. Szyperski, 84--102. Lecture Notes in Computer Science, 2004. https://doi.org/10.1007/11786160_5.","bibtex":"@inproceedings{Wehrheim_2004, series={Lecture Notes in Computer Science}, title={Refinement and Consistency in Component Models with Multiple Views}, DOI={10.1007/11786160_5}, booktitle={Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers}, author={Wehrheim, Heike}, editor={H. Reussner, Ralf and A. Stafford, Judith and A. Szyperski, ClemensEditors}, year={2004}, pages={84--102}, collection={Lecture Notes in Computer Science} }","mla":"Wehrheim, Heike. “Refinement and Consistency in Component Models with Multiple Views.” Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, edited by Ralf H. Reussner et al., 2004, pp. 84--102, doi:10.1007/11786160_5.","short":"H. Wehrheim, in: R. H. Reussner, J. A. Stafford, C. A. Szyperski (Eds.), Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, 2004, pp. 84--102.","ieee":"H. Wehrheim, “Refinement and Consistency in Component Models with Multiple Views,” in Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, 2004, pp. 84--102."},"series_title":"Lecture Notes in Computer Science","user_id":"29719","title":"Refinement and Consistency in Component Models with Multiple Views","date_created":"2018-06-14T06:46:31Z","status":"public","editor":[{"full_name":"H. Reussner, Ralf","first_name":"Ralf","last_name":"H. Reussner"},{"first_name":"Judith","full_name":"A. Stafford, Judith","last_name":"A. Stafford"},{"last_name":"A. Szyperski","full_name":"A. Szyperski, Clemens","first_name":"Clemens"}],"department":[{"_id":"77"}],"publication":"Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers","author":[{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}]},{"series_title":"Lecture Notes in Computer Science","page":"267--286","type":"conference","year":"2004","citation":{"chicago":"Möller, Michael, Ernst-Rüdiger Olderog, Holger Rasch, and Heike Wehrheim. “Linking {CSP-OZ} with {UML} and Java: {A} Case Study.” In Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings, edited by Eerke A. Boiten, John Derrick, and Graeme Smith, 267--286. Lecture Notes in Computer Science, 2004. https://doi.org/10.1007/978-3-540-24756-2_15.","apa":"Möller, M., Olderog, E.-R., Rasch, H., & Wehrheim, H. (2004). Linking {CSP-OZ} with {UML} and Java: {A} Case Study. In E. A. Boiten, J. Derrick, & G. Smith (Eds.), Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings (pp. 267--286). https://doi.org/10.1007/978-3-540-24756-2_15","ama":"Möller M, Olderog E-R, Rasch H, Wehrheim H. Linking {CSP-OZ} with {UML} and Java: {A} Case Study. In: A. Boiten E, Derrick J, Smith G, eds. Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings. Lecture Notes in Computer Science. ; 2004:267--286. doi:10.1007/978-3-540-24756-2_15","mla":"Möller, Michael, et al. “Linking {CSP-OZ} with {UML} and Java: {A} Case Study.” Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings, edited by Eerke A. Boiten et al., 2004, pp. 267--286, doi:10.1007/978-3-540-24756-2_15.","bibtex":"@inproceedings{Möller_Olderog_Rasch_Wehrheim_2004, series={Lecture Notes in Computer Science}, title={Linking {CSP-OZ} with {UML} and Java: {A} Case Study}, DOI={10.1007/978-3-540-24756-2_15}, booktitle={Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings}, author={Möller, Michael and Olderog, Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike}, editor={A. Boiten, Eerke and Derrick, John and Smith, GraemeEditors}, year={2004}, pages={267--286}, collection={Lecture Notes in Computer Science} }","short":"M. Möller, E.-R. Olderog, H. Rasch, H. Wehrheim, in: E. A. Boiten, J. Derrick, G. Smith (Eds.), Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings, 2004, pp. 267--286.","ieee":"M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim, “Linking {CSP-OZ} with {UML} and Java: {A} Case Study,” in Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings, 2004, pp. 267--286."},"_id":"3234","date_updated":"2022-01-06T06:59:06Z","doi":"10.1007/978-3-540-24756-2_15","department":[{"_id":"77"}],"publication":"Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings","author":[{"full_name":"Möller, Michael","first_name":"Michael","last_name":"Möller"},{"last_name":"Olderog","first_name":"Ernst-Rüdiger","full_name":"Olderog, Ernst-Rüdiger"},{"last_name":"Rasch","first_name":"Holger","full_name":"Rasch, Holger"},{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"date_created":"2018-06-14T06:47:35Z","status":"public","editor":[{"last_name":"A. Boiten","full_name":"A. Boiten, Eerke","first_name":"Eerke"},{"last_name":"Derrick","first_name":"John","full_name":"Derrick, John"},{"full_name":"Smith, Graeme","first_name":"Graeme","last_name":"Smith"}],"user_id":"29719","title":"Linking {CSP-OZ} with {UML} and Java: {A} Case Study"},{"user_id":"29719","title":"Refinement and Consistency in Multiview Models","department":[{"_id":"77"}],"publication":"Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004","author":[{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}],"date_created":"2018-06-14T06:48:55Z","status":"public","editor":[{"full_name":"B{\\'{e}}zivin, Jean","first_name":"Jean","last_name":"B{\\'{e}}zivin"},{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"}],"_id":"3235","date_updated":"2022-01-06T06:59:06Z","series_title":"Dagstuhl Seminar Proceedings","year":"2004","citation":{"short":"H. Wehrheim, in: J. B{\\’{e}}zivin, R. Heckel (Eds.), Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004, 2004.","ieee":"H. Wehrheim, “Refinement and Consistency in Multiview Models,” in Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004, 2004.","ama":"Wehrheim H. Refinement and Consistency in Multiview Models. In: B{\\’{e}}zivin J, Heckel R, eds. Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004. Dagstuhl Seminar Proceedings. ; 2004.","apa":"Wehrheim, H. (2004). Refinement and Consistency in Multiview Models. In J. B{\\’{e}}zivin & R. Heckel (Eds.), Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004.","chicago":"Wehrheim, Heike. “Refinement and Consistency in Multiview Models.” In Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004, edited by Jean B{\\’{e}}zivin and Reiko Heckel. Dagstuhl Seminar Proceedings, 2004.","mla":"Wehrheim, Heike. “Refinement and Consistency in Multiview Models.” Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004, edited by Jean B{\\’{e}}zivin and Reiko Heckel, 2004.","bibtex":"@inproceedings{Wehrheim_2004, series={Dagstuhl Seminar Proceedings}, title={Refinement and Consistency in Multiview Models}, booktitle={Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004}, author={Wehrheim, Heike}, editor={B{\\’{e}}zivin, Jean and Heckel, ReikoEditors}, year={2004}, collection={Dagstuhl Seminar Proceedings} }"},"type":"conference"},{"year":"2003","type":"journal_article","citation":{"ieee":"H. Wehrheim, “Behavioral Subtyping Relations for Active Objects,” Formal Methods in System Design, no. 2, pp. 143--170, 2003.","short":"H. Wehrheim, Formal Methods in System Design (2003) 143--170.","mla":"Wehrheim, Heike. “Behavioral Subtyping Relations for Active Objects.” Formal Methods in System Design, no. 2, 2003, pp. 143--170, doi:10.1023/A:1024764232069.","bibtex":"@article{Wehrheim_2003, title={Behavioral Subtyping Relations for Active Objects}, DOI={10.1023/A:1024764232069}, number={2}, journal={Formal Methods in System Design}, author={Wehrheim, Heike}, year={2003}, pages={143--170} }","ama":"Wehrheim H. Behavioral Subtyping Relations for Active Objects. Formal Methods in System Design. 2003;(2):143--170. doi:10.1023/A:1024764232069","apa":"Wehrheim, H. (2003). Behavioral Subtyping Relations for Active Objects. Formal Methods in System Design, (2), 143--170. https://doi.org/10.1023/A:1024764232069","chicago":"Wehrheim, Heike. “Behavioral Subtyping Relations for Active Objects.” Formal Methods in System Design, no. 2 (2003): 143--170. https://doi.org/10.1023/A:1024764232069."},"page":"143--170","doi":"10.1023/A:1024764232069","issue":"2","date_updated":"2022-01-06T06:59:06Z","_id":"3236","status":"public","date_created":"2018-06-14T06:49:57Z","author":[{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"}],"department":[{"_id":"77"}],"publication":"Formal Methods in System Design","title":"Behavioral Subtyping Relations for Active Objects","user_id":"29719"},{"series_title":"Lecture Notes in Computer Science","citation":{"short":"H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever (Eds.), Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, 2003, pp. 330--343.","ieee":"H. Wehrheim, “Preserving Properties Under Change,” in Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, 2003, pp. 330--343.","ama":"Wehrheim H. Preserving Properties Under Change. In: S. de Boer F, M. Bonsangue M, Graf S, P. de Roever W, eds. Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures. Lecture Notes in Computer Science. ; 2003:330--343. doi:10.1007/978-3-540-30101-1_16","apa":"Wehrheim, H. (2003). Preserving Properties Under Change. In F. S. de Boer, M. M. Bonsangue, S. Graf, & W. P. de Roever (Eds.), Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures (pp. 330--343). https://doi.org/10.1007/978-3-540-30101-1_16","chicago":"Wehrheim, Heike. “Preserving Properties Under Change.” In Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem P. de Roever, 330--343. Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/978-3-540-30101-1_16.","bibtex":"@inproceedings{Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Preserving Properties Under Change}, DOI={10.1007/978-3-540-30101-1_16}, booktitle={Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures}, author={Wehrheim, Heike}, editor={S. de Boer, Frank and M. Bonsangue, Marcello and Graf, Susanne and P. de Roever, WillemEditors}, year={2003}, pages={330--343}, collection={Lecture Notes in Computer Science} }","mla":"Wehrheim, Heike. “Preserving Properties Under Change.” Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, edited by Frank S. de Boer et al., 2003, pp. 330--343, doi:10.1007/978-3-540-30101-1_16."},"type":"conference","year":"2003","page":"330--343","_id":"3237","date_updated":"2022-01-06T06:59:06Z","doi":"10.1007/978-3-540-30101-1_16","author":[{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"publication":"Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures","department":[{"_id":"77"}],"editor":[{"last_name":"S. de Boer","first_name":"Frank","full_name":"S. de Boer, Frank"},{"last_name":"M. Bonsangue","first_name":"Marcello","full_name":"M. Bonsangue, Marcello"},{"full_name":"Graf, Susanne","first_name":"Susanne","last_name":"Graf"},{"first_name":"Willem","full_name":"P. de Roever, Willem","last_name":"P. de Roever"}],"status":"public","date_created":"2018-06-14T06:51:09Z","title":"Preserving Properties Under Change","user_id":"29719"},{"doi":"10.1007/978-3-540-39958-2_6","date_updated":"2022-01-06T06:59:06Z","_id":"3238","page":"79--93","year":"2003","type":"conference","citation":{"short":"H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 79--93.","ieee":"H. Wehrheim, “Inheritance of Temporal Logic Properties,” in Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 79--93.","ama":"Wehrheim H. Inheritance of Temporal Logic Properties. In: Najm E, Nestmann U, Stevens P, eds. Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings. Lecture Notes in Computer Science. ; 2003:79--93. doi:10.1007/978-3-540-39958-2_6","apa":"Wehrheim, H. (2003). Inheritance of Temporal Logic Properties. In E. Najm, U. Nestmann, & P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings (pp. 79--93). https://doi.org/10.1007/978-3-540-39958-2_6","chicago":"Wehrheim, Heike. “Inheritance of Temporal Logic Properties.” In Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, edited by Elie Najm, Uwe Nestmann, and Perdita Stevens, 79--93. Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/978-3-540-39958-2_6.","mla":"Wehrheim, Heike. “Inheritance of Temporal Logic Properties.” Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, edited by Elie Najm et al., 2003, pp. 79--93, doi:10.1007/978-3-540-39958-2_6.","bibtex":"@inproceedings{Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Inheritance of Temporal Logic Properties}, DOI={10.1007/978-3-540-39958-2_6}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings}, author={Wehrheim, Heike}, editor={Najm, Elie and Nestmann, Uwe and Stevens, PerditaEditors}, year={2003}, pages={79--93}, collection={Lecture Notes in Computer Science} }"},"series_title":"Lecture Notes in Computer Science","title":"Inheritance of Temporal Logic Properties","user_id":"29719","editor":[{"first_name":"Elie","full_name":"Najm, Elie","last_name":"Najm"},{"last_name":"Nestmann","full_name":"Nestmann, Uwe","first_name":"Uwe"},{"full_name":"Stevens, Perdita","first_name":"Perdita","last_name":"Stevens"}],"date_created":"2018-06-14T06:52:17Z","status":"public","publication":"Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings","department":[{"_id":"77"}],"author":[{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}]},{"author":[{"first_name":"Holger","full_name":"Rasch, Holger","last_name":"Rasch"},{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"department":[{"_id":"77"}],"publication":"Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings","editor":[{"first_name":"Elie","full_name":"Najm, Elie","last_name":"Najm"},{"last_name":"Nestmann","first_name":"Uwe","full_name":"Nestmann, Uwe"},{"full_name":"Stevens, Perdita","first_name":"Perdita","last_name":"Stevens"}],"status":"public","date_created":"2018-06-14T06:53:24Z","title":"Checking Consistency in {UML} Diagramms: Classes and State Machines","user_id":"29719","series_title":"Lecture Notes in Computer Science","year":"2003","type":"conference","citation":{"short":"H. Rasch, H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 229--243.","ieee":"H. Rasch and H. Wehrheim, “Checking Consistency in {UML} Diagramms: Classes and State Machines,” in Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 229--243.","ama":"Rasch H, Wehrheim H. Checking Consistency in {UML} Diagramms: Classes and State Machines. In: Najm E, Nestmann U, Stevens P, eds. Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings. Lecture Notes in Computer Science. ; 2003:229--243. doi:10.1007/978-3-540-39958-2_16","apa":"Rasch, H., & Wehrheim, H. (2003). Checking Consistency in {UML} Diagramms: Classes and State Machines. In E. Najm, U. Nestmann, & P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings (pp. 229--243). https://doi.org/10.1007/978-3-540-39958-2_16","chicago":"Rasch, Holger, and Heike Wehrheim. “Checking Consistency in {UML} Diagramms: Classes and State Machines.” In Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, edited by Elie Najm, Uwe Nestmann, and Perdita Stevens, 229--243. Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/978-3-540-39958-2_16.","bibtex":"@inproceedings{Rasch_Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Checking Consistency in {UML} Diagramms: Classes and State Machines}, DOI={10.1007/978-3-540-39958-2_16}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings}, author={Rasch, Holger and Wehrheim, Heike}, editor={Najm, Elie and Nestmann, Uwe and Stevens, PerditaEditors}, year={2003}, pages={229--243}, collection={Lecture Notes in Computer Science} }","mla":"Rasch, Holger, and Heike Wehrheim. “Checking Consistency in {UML} Diagramms: Classes and State Machines.” Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, edited by Elie Najm et al., 2003, pp. 229--243, doi:10.1007/978-3-540-39958-2_16."},"page":"229--243","_id":"3239","date_updated":"2022-01-06T06:59:06Z","doi":"10.1007/978-3-540-39958-2_16"},{"doi":"10.1007/3-540-44880-2_10","date_updated":"2022-01-06T06:59:07Z","_id":"3240","type":"conference","citation":{"ama":"Derrick J, Wehrheim H. Using Coupled Simulations in Non-atomic Refinement. In: Bert D, P. Bowen J, King S, A. Wald{\\’{e}}n M, eds. {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings. Lecture Notes in Computer Science. ; 2003:127--147. doi:10.1007/3-540-44880-2_10","apa":"Derrick, J., & Wehrheim, H. (2003). Using Coupled Simulations in Non-atomic Refinement. In D. Bert, J. P. Bowen, S. King, & M. A. Wald{\\’{e}}n (Eds.), {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings (pp. 127--147). https://doi.org/10.1007/3-540-44880-2_10","chicago":"Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic Refinement.” In {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings, edited by Didier Bert, Jonathan P. Bowen, Steve King, and Marina A. Wald{\\’{e}}n, 127--147. Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/3-540-44880-2_10.","bibtex":"@inproceedings{Derrick_Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Using Coupled Simulations in Non-atomic Refinement}, DOI={10.1007/3-540-44880-2_10}, booktitle={{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings}, author={Derrick, John and Wehrheim, Heike}, editor={Bert, Didier and P. Bowen, Jonathan and King, Steve and A. Wald{\\’{e}}n, MarinaEditors}, year={2003}, pages={127--147}, collection={Lecture Notes in Computer Science} }","mla":"Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic Refinement.” {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings, edited by Didier Bert et al., 2003, pp. 127--147, doi:10.1007/3-540-44880-2_10.","short":"J. Derrick, H. Wehrheim, in: D. Bert, J. P. Bowen, S. King, M. A. Wald{\\’{e}}n (Eds.), {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings, 2003, pp. 127--147.","ieee":"J. Derrick and H. Wehrheim, “Using Coupled Simulations in Non-atomic Refinement,” in {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings, 2003, pp. 127--147."},"year":"2003","page":"127--147","series_title":"Lecture Notes in Computer Science","user_id":"29719","title":"Using Coupled Simulations in Non-atomic Refinement","status":"public","date_created":"2018-06-14T06:54:54Z","editor":[{"last_name":"Bert","full_name":"Bert, Didier","first_name":"Didier"},{"last_name":"P. Bowen","first_name":"Jonathan","full_name":"P. Bowen, Jonathan"},{"last_name":"King","full_name":"King, Steve","first_name":"Steve"},{"last_name":"A. Wald{\\'{e}}n","full_name":"A. Wald{\\'{e}}n, Marina","first_name":"Marina"}],"author":[{"full_name":"Derrick, John","first_name":"John","last_name":"Derrick"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"department":[{"_id":"77"}],"publication":"{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings"},{"date_updated":"2022-01-06T06:59:07Z","_id":"3241","issue":"4","page":"405--435","citation":{"bibtex":"@article{Wehrheim_2002, title={Relating State-based and Behaviour-oriented Subtyping}, number={4}, journal={Nord. J. Comput.}, author={Wehrheim, Heike}, year={2002}, pages={405--435} }","mla":"Wehrheim, Heike. “Relating State-Based and Behaviour-Oriented Subtyping.” Nord. J. Comput., no. 4, 2002, pp. 405--435.","ama":"Wehrheim H. Relating State-based and Behaviour-oriented Subtyping. Nord J Comput. 2002;(4):405--435.","apa":"Wehrheim, H. (2002). Relating State-based and Behaviour-oriented Subtyping. Nord. J. Comput., (4), 405--435.","chicago":"Wehrheim, Heike. “Relating State-Based and Behaviour-Oriented Subtyping.” Nord. J. Comput., no. 4 (2002): 405--435.","ieee":"H. Wehrheim, “Relating State-based and Behaviour-oriented Subtyping,” Nord. J. Comput., no. 4, pp. 405--435, 2002.","short":"H. Wehrheim, Nord. J. Comput. (2002) 405--435."},"type":"journal_article","year":"2002","title":"Relating State-based and Behaviour-oriented Subtyping","user_id":"29719","publication":"Nord. J. Comput.","department":[{"_id":"77"}],"author":[{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"date_created":"2018-06-14T06:56:20Z","status":"public"},{"user_id":"29719","title":"Specification and Inheritance in {CSP-OZ}","author":[{"full_name":"Olderog, Ernst-Rüdiger","first_name":"Ernst-Rüdiger","last_name":"Olderog"},{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"publication":"Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures","department":[{"_id":"77"}],"status":"public","date_created":"2018-06-14T07:10:28Z","editor":[{"last_name":"S. de Boer","full_name":"S. de Boer, Frank","first_name":"Frank"},{"last_name":"M. Bonsangue","first_name":"Marcello","full_name":"M. Bonsangue, Marcello"},{"last_name":"Graf","first_name":"Susanne","full_name":"Graf, Susanne"},{"first_name":"Willem","full_name":"P. de Roever, Willem","last_name":"P. de Roever"}],"date_updated":"2022-01-06T06:59:07Z","_id":"3242","doi":"10.1007/978-3-540-39656-7_15","series_title":"Lecture Notes in Computer Science","year":"2002","type":"conference","citation":{"ieee":"E.-R. Olderog and H. Wehrheim, “Specification and Inheritance in {CSP-OZ},” in Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, 2002, pp. 361--379.","short":"E.-R. Olderog, H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever (Eds.), Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, 2002, pp. 361--379.","bibtex":"@inproceedings{Olderog_Wehrheim_2002, series={Lecture Notes in Computer Science}, title={Specification and Inheritance in {CSP-OZ}}, DOI={10.1007/978-3-540-39656-7_15}, booktitle={Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures}, author={Olderog, Ernst-Rüdiger and Wehrheim, Heike}, editor={S. de Boer, Frank and M. Bonsangue, Marcello and Graf, Susanne and P. de Roever, WillemEditors}, year={2002}, pages={361--379}, collection={Lecture Notes in Computer Science} }","mla":"Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and Inheritance in {CSP-OZ}.” Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, edited by Frank S. de Boer et al., 2002, pp. 361--379, doi:10.1007/978-3-540-39656-7_15.","apa":"Olderog, E.-R., & Wehrheim, H. (2002). Specification and Inheritance in {CSP-OZ}. In F. S. de Boer, M. M. Bonsangue, S. Graf, & W. P. de Roever (Eds.), Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (pp. 361--379). https://doi.org/10.1007/978-3-540-39656-7_15","ama":"Olderog E-R, Wehrheim H. Specification and Inheritance in {CSP-OZ}. In: S. de Boer F, M. Bonsangue M, Graf S, P. de Roever W, eds. Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. Lecture Notes in Computer Science. ; 2002:361--379. doi:10.1007/978-3-540-39656-7_15","chicago":"Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and Inheritance in {CSP-OZ}.” In Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem P. de Roever, 361--379. Lecture Notes in Computer Science, 2002. https://doi.org/10.1007/978-3-540-39656-7_15."},"page":"361--379"},{"series_title":"{IFIP} Conference Proceedings","page":"79--93","year":"2002","citation":{"short":"H. Wehrheim, in: B. Jacobs, A. Rensink (Eds.), Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands, 2002, pp. 79--93.","ieee":"H. Wehrheim, “Checking Behavioural Subtypes via Refinement,” in Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands, 2002, pp. 79--93.","chicago":"Wehrheim, Heike. “Checking Behavioural Subtypes via Refinement.” In Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands, edited by Bart Jacobs and Arend Rensink, 79--93. {IFIP} Conference Proceedings, 2002.","ama":"Wehrheim H. Checking Behavioural Subtypes via Refinement. In: Jacobs B, Rensink A, eds. Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands. {IFIP} Conference Proceedings. ; 2002:79--93.","apa":"Wehrheim, H. (2002). Checking Behavioural Subtypes via Refinement. In B. Jacobs & A. Rensink (Eds.), Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands (pp. 79--93).","bibtex":"@inproceedings{Wehrheim_2002, series={{IFIP} Conference Proceedings}, title={Checking Behavioural Subtypes via Refinement}, booktitle={Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands}, author={Wehrheim, Heike}, editor={Jacobs, Bart and Rensink, ArendEditors}, year={2002}, pages={79--93}, collection={{IFIP} Conference Proceedings} }","mla":"Wehrheim, Heike. “Checking Behavioural Subtypes via Refinement.” Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands, edited by Bart Jacobs and Arend Rensink, 2002, pp. 79--93."},"type":"conference","_id":"3243","date_updated":"2022-01-06T06:59:07Z","publication":"Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands","department":[{"_id":"77"}],"author":[{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}],"date_created":"2018-06-14T07:11:33Z","status":"public","editor":[{"last_name":"Jacobs","full_name":"Jacobs, Bart","first_name":"Bart"},{"first_name":"Arend","full_name":"Rensink, Arend","last_name":"Rensink"}],"user_id":"29719","title":"Checking Behavioural Subtypes via Refinement"},{"page":"155--234","citation":{"short":"A. Rensink, H. Wehrheim, Acta Inf. (2001) 155--234.","ieee":"A. Rensink and H. Wehrheim, “Process algebra with action dependencies,” Acta Inf., no. 3, pp. 155--234, 2001.","apa":"Rensink, A., & Wehrheim, H. (2001). Process algebra with action dependencies. Acta Inf., (3), 155--234. https://doi.org/10.1007/s002360100070","ama":"Rensink A, Wehrheim H. Process algebra with action dependencies. Acta Inf. 2001;(3):155--234. doi:10.1007/s002360100070","chicago":"Rensink, Arend, and Heike Wehrheim. “Process Algebra with Action Dependencies.” Acta Inf., no. 3 (2001): 155--234. https://doi.org/10.1007/s002360100070.","bibtex":"@article{Rensink_Wehrheim_2001, title={Process algebra with action dependencies}, DOI={10.1007/s002360100070}, number={3}, journal={Acta Inf.}, author={Rensink, Arend and Wehrheim, Heike}, year={2001}, pages={155--234} }","mla":"Rensink, Arend, and Heike Wehrheim. “Process Algebra with Action Dependencies.” Acta Inf., no. 3, 2001, pp. 155--234, doi:10.1007/s002360100070."},"type":"journal_article","year":"2001","doi":"10.1007/s002360100070","issue":"3","_id":"3244","date_updated":"2022-01-06T06:59:07Z","date_created":"2018-06-14T07:12:39Z","status":"public","publication":"Acta Inf.","department":[{"_id":"77"}],"author":[{"full_name":"Rensink, Arend","first_name":"Arend","last_name":"Rensink"},{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}],"title":"Process algebra with action dependencies","user_id":"29719"},{"year":"2001","type":"journal_article","citation":{"short":"D. Bartetzko, C. Fischer, M. Möller, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2001) 103--117.","ieee":"D. Bartetzko, C. Fischer, M. Möller, and H. Wehrheim, “Jass - Java with Assertions,” Electr. Notes Theor. Comput. Sci., no. 2, pp. 103--117, 2001.","apa":"Bartetzko, D., Fischer, C., Möller, M., & Wehrheim, H. (2001). Jass - Java with Assertions. Electr. Notes Theor. Comput. Sci., (2), 103--117. https://doi.org/10.1016/S1571-0661(04)00247-6","ama":"Bartetzko D, Fischer C, Möller M, Wehrheim H. Jass - Java with Assertions. Electr Notes Theor Comput Sci. 2001;(2):103--117. doi:10.1016/S1571-0661(04)00247-6","chicago":"Bartetzko, Detlef, Clemens Fischer, Michael Möller, and Heike Wehrheim. “Jass - Java with Assertions.” Electr. Notes Theor. Comput. Sci., no. 2 (2001): 103--117. https://doi.org/10.1016/S1571-0661(04)00247-6.","bibtex":"@article{Bartetzko_Fischer_Möller_Wehrheim_2001, title={Jass - Java with Assertions}, DOI={10.1016/S1571-0661(04)00247-6}, number={2}, journal={Electr. Notes Theor. Comput. Sci.}, author={Bartetzko, Detlef and Fischer, Clemens and Möller, Michael and Wehrheim, Heike}, year={2001}, pages={103--117} }","mla":"Bartetzko, Detlef, et al. “Jass - Java with Assertions.” Electr. Notes Theor. Comput. Sci., no. 2, 2001, pp. 103--117, doi:10.1016/S1571-0661(04)00247-6."},"page":"103--117","issue":"2","doi":"10.1016/S1571-0661(04)00247-6","_id":"3245","date_updated":"2022-01-06T06:59:07Z","status":"public","date_created":"2018-06-14T07:14:07Z","author":[{"first_name":"Detlef","full_name":"Bartetzko, Detlef","last_name":"Bartetzko"},{"full_name":"Fischer, Clemens","first_name":"Clemens","last_name":"Fischer"},{"full_name":"Möller, Michael","first_name":"Michael","last_name":"Möller"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"department":[{"_id":"77"}],"publication":"Electr. Notes Theor. Comput. Sci.","user_id":"29719","title":"Jass - Java with Assertions"},{"editor":[{"full_name":"Hu{\\ss}mann, Heinrich","first_name":"Heinrich","last_name":"Hu{\\ss}mann"}],"status":"public","date_created":"2018-06-14T07:15:07Z","author":[{"last_name":"Fischer","full_name":"Fischer, Clemens","first_name":"Clemens"},{"last_name":"Olderog","first_name":"Ernst-Rüdiger","full_name":"Olderog, Ernst-Rüdiger"},{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"department":[{"_id":"77"}],"publication":"Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings","title":"A {CSP} View on {UML-RT} Structure Diagrams","user_id":"29719","year":"2001","citation":{"short":"C. Fischer, E.-R. Olderog, H. Wehrheim, in: H. Hu{\\ss}mann (Ed.), Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings, 2001, pp. 91--108.","ieee":"C. Fischer, E.-R. Olderog, and H. Wehrheim, “A {CSP} View on {UML-RT} Structure Diagrams,” in Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings, 2001, pp. 91--108.","chicago":"Fischer, Clemens, Ernst-Rüdiger Olderog, and Heike Wehrheim. “A {CSP} View on {UML-RT} Structure Diagrams.” In Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings, edited by Heinrich Hu{\\ss}mann, 91--108. Lecture Notes in Computer Science, 2001. https://doi.org/10.1007/3-540-45314-8_8.","ama":"Fischer C, Olderog E-R, Wehrheim H. A {CSP} View on {UML-RT} Structure Diagrams. In: Hu{\\ss}mann H, ed. Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings. Lecture Notes in Computer Science. ; 2001:91--108. doi:10.1007/3-540-45314-8_8","apa":"Fischer, C., Olderog, E.-R., & Wehrheim, H. (2001). A {CSP} View on {UML-RT} Structure Diagrams. In H. Hu{\\ss}mann (Ed.), Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings (pp. 91--108). https://doi.org/10.1007/3-540-45314-8_8","bibtex":"@inproceedings{Fischer_Olderog_Wehrheim_2001, series={Lecture Notes in Computer Science}, title={A {CSP} View on {UML-RT} Structure Diagrams}, DOI={10.1007/3-540-45314-8_8}, booktitle={Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings}, author={Fischer, Clemens and Olderog, Ernst-Rüdiger and Wehrheim, Heike}, editor={Hu{\\ss}mann, HeinrichEditor}, year={2001}, pages={91--108}, collection={Lecture Notes in Computer Science} }","mla":"Fischer, Clemens, et al. “A {CSP} View on {UML-RT} Structure Diagrams.” Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings, edited by Heinrich Hu{\\ss}mann, 2001, pp. 91--108, doi:10.1007/3-540-45314-8_8."},"type":"conference","page":"91--108","series_title":"Lecture Notes in Computer Science","doi":"10.1007/3-540-45314-8_8","date_updated":"2022-01-06T06:59:07Z","_id":"3246"},{"department":[{"_id":"77"}],"publication":"Bulletin of the {EATCS}","author":[{"first_name":"Clemens","full_name":"Fischer, Clemens","last_name":"Fischer"},{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}],"date_created":"2018-06-14T07:17:49Z","status":"public","title":"Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method","user_id":"29719","page":"92--101","citation":{"chicago":"Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.” Bulletin of the {EATCS}, 2000, 92--101.","ama":"Fischer C, Wehrheim H. Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. Bulletin of the {EATCS}. 2000:92--101.","apa":"Fischer, C., & Wehrheim, H. (2000). Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. Bulletin of the {EATCS}, 92--101.","bibtex":"@article{Fischer_Wehrheim_2000, title={Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method}, journal={Bulletin of the {EATCS}}, author={Fischer, Clemens and Wehrheim, Heike}, year={2000}, pages={92--101} }","mla":"Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.” Bulletin of the {EATCS}, 2000, pp. 92--101.","short":"C. Fischer, H. Wehrheim, Bulletin of the {EATCS} (2000) 92--101.","ieee":"C. Fischer and H. Wehrheim, “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method,” Bulletin of the {EATCS}, pp. 92--101, 2000."},"type":"journal_article","year":"2000","date_updated":"2022-01-06T06:59:07Z","_id":"3247"},{"date_created":"2018-06-14T07:19:50Z","status":"public","department":[{"_id":"77"}],"publication":"Formal Asp. Comput.","author":[{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"title":"Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications","user_id":"29719","page":"147--164","type":"journal_article","citation":{"ieee":"H. Wehrheim, “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications,” Formal Asp. Comput., no. 3, pp. 147--164, 2000.","short":"H. Wehrheim, Formal Asp. Comput. (2000) 147--164.","bibtex":"@article{Wehrheim_2000, title={Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications}, DOI={10.1007/s001650070026}, number={3}, journal={Formal Asp. Comput.}, author={Wehrheim, Heike}, year={2000}, pages={147--164} }","mla":"Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications.” Formal Asp. Comput., no. 3, 2000, pp. 147--164, doi:10.1007/s001650070026.","chicago":"Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications.” Formal Asp. Comput., no. 3 (2000): 147--164. https://doi.org/10.1007/s001650070026.","ama":"Wehrheim H. Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications. Formal Asp Comput. 2000;(3):147--164. doi:10.1007/s001650070026","apa":"Wehrheim, H. (2000). Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications. Formal Asp. Comput., (3), 147--164. https://doi.org/10.1007/s001650070026"},"year":"2000","doi":"10.1007/s001650070026","issue":"3","_id":"3248","date_updated":"2022-01-06T06:59:07Z"},{"doi":"10.1007/3-540-45499-3_33","_id":"3249","date_updated":"2022-01-06T06:59:07Z","citation":{"short":"C. Fischer, H. Wehrheim, in: T. Rus (Ed.), Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.","ieee":"C. Fischer and H. Wehrheim, “Behavioural Subtyping Relations for Object-Oriented Formalisms,” in Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.","chicago":"Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations for Object-Oriented Formalisms.” In Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, edited by Teodor Rus, 469--483. Lecture Notes in Computer Science, 2000. https://doi.org/10.1007/3-540-45499-3_33.","apa":"Fischer, C., & Wehrheim, H. (2000). Behavioural Subtyping Relations for Object-Oriented Formalisms. In T. Rus (Ed.), Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings (pp. 469--483). https://doi.org/10.1007/3-540-45499-3_33","ama":"Fischer C, Wehrheim H. Behavioural Subtyping Relations for Object-Oriented Formalisms. In: Rus T, ed. Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings. Lecture Notes in Computer Science. ; 2000:469--483. doi:10.1007/3-540-45499-3_33","bibtex":"@inproceedings{Fischer_Wehrheim_2000, series={Lecture Notes in Computer Science}, title={Behavioural Subtyping Relations for Object-Oriented Formalisms}, DOI={10.1007/3-540-45499-3_33}, booktitle={Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings}, author={Fischer, Clemens and Wehrheim, Heike}, editor={Rus, TeodorEditor}, year={2000}, pages={469--483}, collection={Lecture Notes in Computer Science} }","mla":"Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations for Object-Oriented Formalisms.” Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, edited by Teodor Rus, 2000, pp. 469--483, doi:10.1007/3-540-45499-3_33."},"type":"conference","year":"2000","page":"469--483","series_title":"Lecture Notes in Computer Science","title":"Behavioural Subtyping Relations for Object-Oriented Formalisms","user_id":"29719","editor":[{"first_name":"Teodor","full_name":"Rus, Teodor","last_name":"Rus"}],"status":"public","date_created":"2018-06-14T07:20:56Z","author":[{"last_name":"Fischer","first_name":"Clemens","full_name":"Fischer, Clemens"},{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"publication":"Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings","department":[{"_id":"77"}]},{"year":"2000","type":"conference","citation":{"mla":"Wehrheim, Heike. “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods.” 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, edited by T. S. E. Maibaum, 2000, pp. 334--348, doi:10.1007/3-540-46428-X_23.","bibtex":"@inproceedings{Wehrheim_2000, series={Lecture Notes in Computer Science}, title={Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods}, DOI={10.1007/3-540-46428-X_23}, 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}, author={Wehrheim, Heike}, editor={S. E. Maibaum, T.Editor}, year={2000}, pages={334--348}, collection={Lecture Notes in Computer Science} }","apa":"Wehrheim, H. (2000). Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods. In T. S. E. Maibaum (Ed.), 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 (pp. 334--348). https://doi.org/10.1007/3-540-46428-X_23","ama":"Wehrheim H. Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods. In: S. E. Maibaum T, ed. 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. Lecture Notes in Computer Science. ; 2000:334--348. doi:10.1007/3-540-46428-X_23","chicago":"Wehrheim, Heike. “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods.” In 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, edited by T. S. E. Maibaum, 334--348. Lecture Notes in Computer Science, 2000. https://doi.org/10.1007/3-540-46428-X_23.","ieee":"H. Wehrheim, “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods,” in 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, 2000, pp. 334--348.","short":"H. Wehrheim, in: T. S. E. Maibaum (Ed.), 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, 2000, pp. 334--348."},"page":"334--348","series_title":"Lecture Notes in Computer Science","doi":"10.1007/3-540-46428-X_23","date_updated":"2022-01-06T06:59:07Z","_id":"3250","status":"public","date_created":"2018-06-14T07:22:20Z","editor":[{"last_name":"S. E. Maibaum","first_name":"T.","full_name":"S. E. Maibaum, T."}],"author":[{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"department":[{"_id":"77"}],"publication":"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","user_id":"29719","title":"Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods"},{"_id":"3251","date_updated":"2022-01-06T06:59:07Z","doi":"10.1007/978-0-387-35520-7_11","series_title":"{IFIP} Conference Proceedings","page":"213--231","type":"conference","year":"2000","citation":{"short":"H. Wehrheim, in: S. F. Smith, C. L. Talcott (Eds.), 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}, 2000, pp. 213--231.","ieee":"H. Wehrheim, “Behavioural Subtyping and Property Preservation,” in 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}, 2000, pp. 213--231.","chicago":"Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.” In 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}, edited by Scott F. Smith and Carolyn L. Talcott, 213--231. {IFIP} Conference Proceedings, 2000. https://doi.org/10.1007/978-0-387-35520-7_11.","ama":"Wehrheim H. Behavioural Subtyping and Property Preservation. In: F. Smith S, L. Talcott C, eds. 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}. {IFIP} Conference Proceedings. ; 2000:213--231. doi:10.1007/978-0-387-35520-7_11","apa":"Wehrheim, H. (2000). Behavioural Subtyping and Property Preservation. In S. F. Smith & C. L. Talcott (Eds.), 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} (pp. 213--231). https://doi.org/10.1007/978-0-387-35520-7_11","mla":"Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.” 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}, edited by Scott F. Smith and Carolyn L. Talcott, 2000, pp. 213--231, doi:10.1007/978-0-387-35520-7_11.","bibtex":"@inproceedings{Wehrheim_2000, series={{IFIP} Conference Proceedings}, title={Behavioural Subtyping and Property Preservation}, DOI={10.1007/978-0-387-35520-7_11}, 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}}, author={Wehrheim, Heike}, editor={F. Smith, Scott and L. Talcott, CarolynEditors}, year={2000}, pages={213--231}, collection={{IFIP} Conference Proceedings} }"},"title":"Behavioural Subtyping and Property Preservation","user_id":"29719","publication":"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}","department":[{"_id":"77"}],"author":[{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"editor":[{"last_name":"F. Smith","first_name":"Scott","full_name":"F. Smith, Scott"},{"last_name":"L. Talcott","full_name":"L. Talcott, Carolyn","first_name":"Carolyn"}],"date_created":"2018-06-14T07:25:14Z","status":"public"},{"type":"journal_article","year":"1999","citation":{"ieee":"H. Wehrheim, “Partial order reductions for failures refinement,” Electr. Notes Theor. Comput. Sci., pp. 71--84, 1999.","short":"H. Wehrheim, Electr. Notes Theor. Comput. Sci. (1999) 71--84.","mla":"Wehrheim, Heike. “Partial Order Reductions for Failures Refinement.” Electr. Notes Theor. Comput. Sci., 1999, pp. 71--84, doi:10.1016/S1571-0661(05)80296-8.","bibtex":"@article{Wehrheim_1999, title={Partial order reductions for failures refinement}, DOI={10.1016/S1571-0661(05)80296-8}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={1999}, pages={71--84} }","chicago":"Wehrheim, Heike. “Partial Order Reductions for Failures Refinement.” Electr. Notes Theor. Comput. Sci., 1999, 71--84. https://doi.org/10.1016/S1571-0661(05)80296-8.","ama":"Wehrheim H. Partial order reductions for failures refinement. Electr Notes Theor Comput Sci. 1999:71--84. doi:10.1016/S1571-0661(05)80296-8","apa":"Wehrheim, H. (1999). Partial order reductions for failures refinement. Electr. Notes Theor. Comput. Sci., 71--84. https://doi.org/10.1016/S1571-0661(05)80296-8"},"page":"71--84","doi":"10.1016/S1571-0661(05)80296-8","date_updated":"2022-01-06T06:59:07Z","_id":"3252","status":"public","date_created":"2018-06-14T07:26:58Z","author":[{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"department":[{"_id":"77"}],"publication":"Electr. Notes Theor. Comput. Sci.","user_id":"29719","title":"Partial order reductions for failures refinement"},{"page":"1028--1047","type":"conference","year":"1999","citation":{"ieee":"H. Wehrheim, “Data Abstraction for {CSP-OZ},” in FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}, 1999, pp. 1028--1047.","short":"H. Wehrheim, in: J. M. Wing, J. Woodcock, J. Davies (Eds.), FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}, 1999, pp. 1028--1047.","mla":"Wehrheim, Heike. “Data Abstraction for {CSP-OZ}.” FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}, edited by Jeannette M. Wing et al., 1999, pp. 1028--1047, doi:10.1007/3-540-48118-4_5.","bibtex":"@inproceedings{Wehrheim_1999, series={Lecture Notes in Computer Science}, title={Data Abstraction for {CSP-OZ}}, DOI={10.1007/3-540-48118-4_5}, 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}}, author={Wehrheim, Heike}, editor={M. Wing, Jeannette and Woodcock, Jim and Davies, JimEditors}, year={1999}, pages={1028--1047}, collection={Lecture Notes in Computer Science} }","chicago":"Wehrheim, Heike. “Data Abstraction for {CSP-OZ}.” In FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}, edited by Jeannette M. Wing, Jim Woodcock, and Jim Davies, 1028--1047. Lecture Notes in Computer Science, 1999. https://doi.org/10.1007/3-540-48118-4_5.","apa":"Wehrheim, H. (1999). Data Abstraction for {CSP-OZ}. In J. M. Wing, J. Woodcock, & J. Davies (Eds.), FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II} (pp. 1028--1047). https://doi.org/10.1007/3-540-48118-4_5","ama":"Wehrheim H. Data Abstraction for {CSP-OZ}. In: M. Wing J, Woodcock J, Davies J, eds. FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}. Lecture Notes in Computer Science. ; 1999:1028--1047. doi:10.1007/3-540-48118-4_5"},"series_title":"Lecture Notes in Computer Science","doi":"10.1007/3-540-48118-4_5","_id":"3253","date_updated":"2022-01-06T06:59:07Z","date_created":"2018-06-14T07:32:05Z","status":"public","editor":[{"last_name":"M. Wing","first_name":"Jeannette","full_name":"M. Wing, Jeannette"},{"first_name":"Jim","full_name":"Woodcock, Jim","last_name":"Woodcock"},{"last_name":"Davies","first_name":"Jim","full_name":"Davies, Jim"}],"department":[{"_id":"77"}],"publication":"FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}","author":[{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}],"user_id":"29719","title":"Data Abstraction for {CSP-OZ}"},{"citation":{"bibtex":"@inproceedings{Fischer_Wehrheim_1999, title={Model-Checking {CSP-OZ} Specifications with {FDR}}, booktitle={Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999}, author={Fischer, Clemens and Wehrheim, Heike}, editor={Araki, Keijiro and Galloway, Andy and Taguchi, KenjiEditors}, year={1999}, pages={315--334} }","mla":"Fischer, Clemens, and Heike Wehrheim. “Model-Checking {CSP-OZ} Specifications with {FDR}.” Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, edited by Keijiro Araki et al., 1999, pp. 315--334.","chicago":"Fischer, Clemens, and Heike Wehrheim. “Model-Checking {CSP-OZ} Specifications with {FDR}.” In Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, edited by Keijiro Araki, Andy Galloway, and Kenji Taguchi, 315--334, 1999.","ama":"Fischer C, Wehrheim H. Model-Checking {CSP-OZ} Specifications with {FDR}. In: Araki K, Galloway A, Taguchi K, eds. Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999. ; 1999:315--334.","apa":"Fischer, C., & Wehrheim, H. (1999). Model-Checking {CSP-OZ} Specifications with {FDR}. In K. Araki, A. Galloway, & K. Taguchi (Eds.), Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999 (pp. 315--334).","ieee":"C. Fischer and H. Wehrheim, “Model-Checking {CSP-OZ} Specifications with {FDR},” in Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, 1999, pp. 315--334.","short":"C. Fischer, H. Wehrheim, in: K. Araki, A. Galloway, K. Taguchi (Eds.), Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, 1999, pp. 315--334."},"year":"1999","type":"conference","page":"315--334","date_updated":"2022-01-06T06:59:07Z","_id":"3254","status":"public","date_created":"2018-06-14T07:33:10Z","editor":[{"first_name":"Keijiro","full_name":"Araki, Keijiro","last_name":"Araki"},{"first_name":"Andy","full_name":"Galloway, Andy","last_name":"Galloway"},{"full_name":"Taguchi, Kenji","first_name":"Kenji","last_name":"Taguchi"}],"author":[{"last_name":"Fischer","full_name":"Fischer, Clemens","first_name":"Clemens"},{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}],"department":[{"_id":"77"}],"publication":"Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999","user_id":"29719","title":"Model-Checking {CSP-OZ} Specifications with {FDR}"},{"page":"185--196","type":"conference","year":"1998","citation":{"ama":"Gehrke T, Huhn M, Niebert P, Rensink A, Wehrheim H. A Process Algebra Semantics for {MSC} Including Conditions. In: K{\\\"{o}}nig H, Langend{\\\"{o}}rfer P, eds. Formale Beschreibungstechniken F{\\\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. Und 5. Juni 1998. ; 1998:185--196.","apa":"Gehrke, T., Huhn, M., Niebert, P., Rensink, A., & Wehrheim, H. (1998). A Process Algebra Semantics for {MSC} Including Conditions. In H. K{\\\"{o}}nig & P. Langend{\\\"{o}}rfer (Eds.), Formale Beschreibungstechniken f{\\\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. und 5. Juni 1998 (pp. 185--196).","chicago":"Gehrke, Thomas, Michaela Huhn, Peter Niebert, Arend Rensink, and Heike Wehrheim. “A Process Algebra Semantics for {MSC} Including Conditions.” In Formale Beschreibungstechniken F{\\\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. Und 5. Juni 1998, edited by Hartmut K{\\\"{o}}nig and Peter Langend{\\\"{o}}rfer, 185--196, 1998.","mla":"Gehrke, Thomas, et al. “A Process Algebra Semantics for {MSC} Including Conditions.” Formale Beschreibungstechniken F{\\\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. Und 5. Juni 1998, edited by Hartmut K{\\\"{o}}nig and Peter Langend{\\\"{o}}rfer, 1998, pp. 185--196.","bibtex":"@inproceedings{Gehrke_Huhn_Niebert_Rensink_Wehrheim_1998, title={A Process Algebra Semantics for {MSC} Including Conditions}, booktitle={Formale Beschreibungstechniken f{\\\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. und 5. Juni 1998}, author={Gehrke, Thomas and Huhn, Michaela and Niebert, Peter and Rensink, Arend and Wehrheim, Heike}, editor={K{\\\"{o}}nig, Hartmut and Langend{\\\"{o}}rfer, PeterEditors}, year={1998}, pages={185--196} }","short":"T. Gehrke, M. Huhn, P. Niebert, A. Rensink, H. Wehrheim, in: H. K{\\\"{o}}nig, P. Langend{\\\"{o}}rfer (Eds.), Formale Beschreibungstechniken F{\\\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. Und 5. Juni 1998, 1998, pp. 185--196.","ieee":"T. Gehrke, M. Huhn, P. Niebert, A. Rensink, and H. Wehrheim, “A Process Algebra Semantics for {MSC} Including Conditions,” in Formale Beschreibungstechniken f{\\\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. und 5. Juni 1998, 1998, pp. 185--196."},"date_updated":"2022-01-06T06:59:07Z","_id":"3255","publication":"Formale Beschreibungstechniken f{\\\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. und 5. Juni 1998","department":[{"_id":"77"}],"author":[{"last_name":"Gehrke","full_name":"Gehrke, Thomas","first_name":"Thomas"},{"last_name":"Huhn","first_name":"Michaela","full_name":"Huhn, Michaela"},{"full_name":"Niebert, Peter","first_name":"Peter","last_name":"Niebert"},{"last_name":"Rensink","first_name":"Arend","full_name":"Rensink, Arend"},{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}],"editor":[{"first_name":"Hartmut","full_name":"K{\\\"{o}}nig, Hartmut","last_name":"K{\\\"{o}}nig"},{"full_name":"Langend{\\\"{o}}rfer, Peter","first_name":"Peter","last_name":"Langend{\\\"{o}}rfer"}],"date_created":"2018-06-14T07:34:22Z","status":"public","title":"A Process Algebra Semantics for {MSC} Including Conditions","user_id":"29719"},{"title":"An Algebraic Semantics for Message Sequence Chart Documents","user_id":"29719","editor":[{"first_name":"Stanislaw","full_name":"Budkowski, Stanislaw","last_name":"Budkowski"},{"last_name":"R. Cavalli","full_name":"R. Cavalli, Ana","first_name":"Ana"},{"full_name":"Najm, Elie","first_name":"Elie","last_name":"Najm"}],"date_created":"2018-06-14T07:35:45Z","status":"public","publication":"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","department":[{"_id":"77"}],"author":[{"last_name":"Gehrke","first_name":"Thomas","full_name":"Gehrke, Thomas"},{"first_name":"Michaela","full_name":"Huhn, Michaela","last_name":"Huhn"},{"full_name":"Rensink, Arend","first_name":"Arend","last_name":"Rensink"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"_id":"3256","date_updated":"2022-01-06T06:59:07Z","page":"3--18","citation":{"chicago":"Gehrke, Thomas, Michaela Huhn, Arend Rensink, and Heike Wehrheim. “An Algebraic Semantics for Message Sequence Chart Documents.” In 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, edited by Stanislaw Budkowski, Ana R. Cavalli, and Elie Najm, 3--18. {IFIP} Conference Proceedings, 1998.","apa":"Gehrke, T., Huhn, M., Rensink, A., & Wehrheim, H. (1998). An Algebraic Semantics for Message Sequence Chart Documents. In S. Budkowski, A. R. Cavalli, & E. Najm (Eds.), 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 (pp. 3--18).","ama":"Gehrke T, Huhn M, Rensink A, Wehrheim H. An Algebraic Semantics for Message Sequence Chart Documents. In: Budkowski S, R. Cavalli A, Najm E, eds. 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. {IFIP} Conference Proceedings. ; 1998:3--18.","mla":"Gehrke, Thomas, et al. “An Algebraic Semantics for Message Sequence Chart Documents.” 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, edited by Stanislaw Budkowski et al., 1998, pp. 3--18.","bibtex":"@inproceedings{Gehrke_Huhn_Rensink_Wehrheim_1998, series={{IFIP} Conference Proceedings}, title={An Algebraic Semantics for Message Sequence Chart Documents}, 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}, author={Gehrke, Thomas and Huhn, Michaela and Rensink, Arend and Wehrheim, Heike}, editor={Budkowski, Stanislaw and R. Cavalli, Ana and Najm, ElieEditors}, year={1998}, pages={3--18}, collection={{IFIP} Conference Proceedings} }","short":"T. Gehrke, M. Huhn, A. Rensink, H. Wehrheim, in: S. Budkowski, A. R. Cavalli, E. Najm (Eds.), 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, 1998, pp. 3--18.","ieee":"T. Gehrke, M. Huhn, A. Rensink, and H. Wehrheim, “An Algebraic Semantics for Message Sequence Chart Documents,” in 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, 1998, pp. 3--18."},"year":"1998","type":"conference","series_title":"{IFIP} Conference Proceedings"},{"series_title":"Lecture Notes in Computer Science","type":"conference","year":"1998","citation":{"bibtex":"@inproceedings{Huhn_Niebert_Wehrheim_1998, series={Lecture Notes in Computer Science}, title={Partial Order Reductions for Bisimulation Checking}, DOI={10.1007/978-3-540-49382-2_26}, booktitle={Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings}, author={Huhn, Michaela and Niebert, Peter and Wehrheim, Heike}, editor={Arvind, Vikraman and Ramanujam, RamaswamyEditors}, year={1998}, pages={271--282}, collection={Lecture Notes in Computer Science} }","mla":"Huhn, Michaela, et al. “Partial Order Reductions for Bisimulation Checking.” Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings, edited by Vikraman Arvind and Ramaswamy Ramanujam, 1998, pp. 271--282, doi:10.1007/978-3-540-49382-2_26.","chicago":"Huhn, Michaela, Peter Niebert, and Heike Wehrheim. “Partial Order Reductions for Bisimulation Checking.” In Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings, edited by Vikraman Arvind and Ramaswamy Ramanujam, 271--282. Lecture Notes in Computer Science, 1998. https://doi.org/10.1007/978-3-540-49382-2_26.","ama":"Huhn M, Niebert P, Wehrheim H. Partial Order Reductions for Bisimulation Checking. In: Arvind V, Ramanujam R, eds. Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings. Lecture Notes in Computer Science. ; 1998:271--282. doi:10.1007/978-3-540-49382-2_26","apa":"Huhn, M., Niebert, P., & Wehrheim, H. (1998). Partial Order Reductions for Bisimulation Checking. In V. Arvind & R. Ramanujam (Eds.), Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings (pp. 271--282). https://doi.org/10.1007/978-3-540-49382-2_26","ieee":"M. Huhn, P. Niebert, and H. Wehrheim, “Partial Order Reductions for Bisimulation Checking,” in Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings, 1998, pp. 271--282.","short":"M. Huhn, P. Niebert, H. Wehrheim, in: V. Arvind, R. Ramanujam (Eds.), Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings, 1998, pp. 271--282."},"page":"271--282","date_updated":"2022-01-06T06:59:07Z","_id":"3257","doi":"10.1007/978-3-540-49382-2_26","author":[{"last_name":"Huhn","full_name":"Huhn, Michaela","first_name":"Michaela"},{"full_name":"Niebert, Peter","first_name":"Peter","last_name":"Niebert"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"department":[{"_id":"77"}],"publication":"Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings","editor":[{"first_name":"Vikraman","full_name":"Arvind, Vikraman","last_name":"Arvind"},{"last_name":"Ramanujam","first_name":"Ramaswamy","full_name":"Ramanujam, Ramaswamy"}],"status":"public","date_created":"2018-06-14T07:37:32Z","title":"Partial Order Reductions for Bisimulation Checking","user_id":"29719"},{"editor":[{"full_name":"Pr{\\'{\\i}}vara, Igor","first_name":"Igor","last_name":"Pr{\\'{\\i}}vara"},{"last_name":"Ruzicka","first_name":"Peter","full_name":"Ruzicka, Peter"}],"date_created":"2018-06-14T07:40:10Z","status":"public","department":[{"_id":"77"}],"publication":"Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings","author":[{"last_name":"Rensink","full_name":"Rensink, Arend","first_name":"Arend"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"title":"Dependency-Based Action Refinement","user_id":"29719","page":"468--477","year":"1997","type":"conference","citation":{"chicago":"Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.” In Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, edited by Igor Pr{\\’{\\i}}vara and Peter Ruzicka, 468--477. Lecture Notes in Computer Science, 1997. https://doi.org/10.1007/BFb0029990.","ama":"Rensink A, Wehrheim H. Dependency-Based Action Refinement. In: Pr{\\’{\\i}}vara I, Ruzicka P, eds. Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings. Lecture Notes in Computer Science. ; 1997:468--477. doi:10.1007/BFb0029990","apa":"Rensink, A., & Wehrheim, H. (1997). Dependency-Based Action Refinement. 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 (pp. 468--477). https://doi.org/10.1007/BFb0029990","bibtex":"@inproceedings{Rensink_Wehrheim_1997, series={Lecture Notes in Computer Science}, title={Dependency-Based Action Refinement}, DOI={10.1007/BFb0029990}, 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} }","mla":"Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.” Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, edited by Igor Pr{\\’{\\i}}vara and Peter Ruzicka, 1997, pp. 468--477, doi:10.1007/BFb0029990.","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.","ieee":"A. Rensink and H. Wehrheim, “Dependency-Based Action Refinement,” in Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477."},"series_title":"Lecture Notes in Computer Science","doi":"10.1007/BFb0029990","_id":"3258","date_updated":"2022-01-06T06:59:07Z"},{"page":"468--477","citation":{"ieee":"A. Rensink and H. Wehrheim, “Dependency-Based Action Refinement,” in Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 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.","mla":"Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.” Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, edited by Igor Pr{\\’{\\i}}vara and Peter Ruzicka, 1997, pp. 468--477, doi:10.1007/BFb0029990.","bibtex":"@inproceedings{Rensink_Wehrheim_1997, series={Lecture Notes in Computer Science}, title={Dependency-Based Action Refinement}, DOI={10.1007/BFb0029990}, 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} }","ama":"Rensink A, Wehrheim H. Dependency-Based Action Refinement. In: Pr{\\’{\\i}}vara I, Ruzicka P, eds. Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings. Lecture Notes in Computer Science. ; 1997:468--477. doi:10.1007/BFb0029990","apa":"Rensink, A., & Wehrheim, H. (1997). Dependency-Based Action Refinement. 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 (pp. 468--477). https://doi.org/10.1007/BFb0029990","chicago":"Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.” In Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, edited by Igor Pr{\\’{\\i}}vara and Peter Ruzicka, 468--477. Lecture Notes in Computer Science, 1997. https://doi.org/10.1007/BFb0029990."},"year":"1997","type":"conference","series_title":"Lecture Notes in Computer Science","doi":"10.1007/BFb0029990","date_updated":"2022-01-06T06:59:07Z","_id":"3259","editor":[{"last_name":"Pr{\\'{\\i}}vara","first_name":"Igor","full_name":"Pr{\\'{\\i}}vara, Igor"},{"first_name":"Peter","full_name":"Ruzicka, Peter","last_name":"Ruzicka"}],"date_created":"2018-06-14T07:43:09Z","status":"public","department":[{"_id":"77"}],"publication":"Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings","author":[{"last_name":"Rensink","full_name":"Rensink, Arend","first_name":"Arend"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"title":"Dependency-Based Action Refinement","user_id":"29719"},{"user_id":"29719","title":"Specifying reactive systems with action dependencies: modelling and hierarchical design","department":[{"_id":"77"}],"author":[{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"publisher":"University of Hildesheim, Germany","date_created":"2018-06-14T07:44:32Z","status":"public","date_updated":"2022-01-06T06:59:07Z","_id":"3260","type":"dissertation","citation":{"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. Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design. University of Hildesheim, Germany, 1996.","apa":"Wehrheim, H. (1996). Specifying reactive systems with action dependencies: modelling and hierarchical design. University of Hildesheim, Germany.","ama":"Wehrheim H. Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design. University of Hildesheim, Germany; 1996.","chicago":"Wehrheim, Heike. Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design. University of Hildesheim, Germany, 1996.","ieee":"H. Wehrheim, Specifying reactive systems with action dependencies: modelling and hierarchical design. University of Hildesheim, Germany, 1996.","short":"H. Wehrheim, Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design, University of Hildesheim, Germany, 1996."},"year":"1996"},{"page":"179--184","year":"1996","citation":{"bibtex":"@article{Goltz_Wehrheim_1996, title={Modelling Causality via Action Dependencies in Branching Time Semantics}, DOI={10.1016/0020-0190(96)00111-1}, number={4}, journal={Inf. Process. Lett.}, author={Goltz, Ursula and Wehrheim, Heike}, year={1996}, pages={179--184} }","mla":"Goltz, Ursula, and Heike Wehrheim. “Modelling Causality via Action Dependencies in Branching Time Semantics.” Inf. Process. Lett., no. 4, 1996, pp. 179--184, doi:10.1016/0020-0190(96)00111-1.","chicago":"Goltz, Ursula, and Heike Wehrheim. “Modelling Causality via Action Dependencies in Branching Time Semantics.” Inf. Process. Lett., no. 4 (1996): 179--184. https://doi.org/10.1016/0020-0190(96)00111-1.","apa":"Goltz, U., & Wehrheim, H. (1996). Modelling Causality via Action Dependencies in Branching Time Semantics. Inf. Process. Lett., (4), 179--184. https://doi.org/10.1016/0020-0190(96)00111-1","ama":"Goltz U, Wehrheim H. Modelling Causality via Action Dependencies in Branching Time Semantics. Inf Process Lett. 1996;(4):179--184. doi:10.1016/0020-0190(96)00111-1","ieee":"U. Goltz and H. Wehrheim, “Modelling Causality via Action Dependencies in Branching Time Semantics,” Inf. Process. Lett., no. 4, pp. 179--184, 1996.","short":"U. Goltz, H. Wehrheim, Inf. Process. Lett. (1996) 179--184."},"type":"journal_article","_id":"3261","date_updated":"2022-01-06T06:59:07Z","issue":"4","doi":"10.1016/0020-0190(96)00111-1","publication":"Inf. Process. Lett.","department":[{"_id":"77"}],"author":[{"last_name":"Goltz","full_name":"Goltz, Ursula","first_name":"Ursula"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"date_created":"2018-06-14T07:52:02Z","status":"public","user_id":"29719","title":"Modelling Causality via Action Dependencies in Branching Time Semantics"},{"series_title":"Lecture Notes in Computer Science","citation":{"ieee":"U. Goltz and H. Wehrheim, “Causal Testing,” in Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, 1996, pp. 394--406.","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.","bibtex":"@inproceedings{Goltz_Wehrheim_1996, series={Lecture Notes in Computer Science}, title={Causal Testing}, DOI={10.1007/3-540-61550-4_165}, 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.” Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, edited by Wojciech Penczek and Andrzej Szalas, 1996, pp. 394--406, doi:10.1007/3-540-61550-4_165.","chicago":"Goltz, Ursula, and Heike Wehrheim. “Causal Testing.” In Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, edited by Wojciech Penczek and Andrzej Szalas, 394--406. Lecture Notes in Computer Science, 1996. https://doi.org/10.1007/3-540-61550-4_165.","apa":"Goltz, U., & Wehrheim, H. (1996). Causal Testing. In W. Penczek & A. Szalas (Eds.), Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings (pp. 394--406). https://doi.org/10.1007/3-540-61550-4_165","ama":"Goltz U, Wehrheim H. Causal Testing. In: Penczek W, Szalas A, eds. Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings. Lecture Notes in Computer Science. ; 1996:394--406. doi:10.1007/3-540-61550-4_165"},"type":"conference","year":"1996","page":"394--406","date_updated":"2022-01-06T06:59:07Z","_id":"3262","doi":"10.1007/3-540-61550-4_165","author":[{"last_name":"Goltz","first_name":"Ursula","full_name":"Goltz, Ursula"},{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}],"department":[{"_id":"77"}],"publication":"Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings","status":"public","date_created":"2018-06-14T07:53:08Z","editor":[{"last_name":"Penczek","full_name":"Penczek, Wojciech","first_name":"Wojciech"},{"last_name":"Szalas","full_name":"Szalas, Andrzej","first_name":"Andrzej"}],"user_id":"29719","title":"Causal Testing"},{"title":"Weak Sequential Composition in Process Algebras","user_id":"29719","editor":[{"last_name":"Jonsson","full_name":"Jonsson, Bengt","first_name":"Bengt"},{"last_name":"Parrow","first_name":"Joachim","full_name":"Parrow, Joachim"}],"status":"public","date_created":"2018-06-14T07:54:32Z","author":[{"full_name":"Rensink, Arend","first_name":"Arend","last_name":"Rensink"},{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}],"publication":"{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings","department":[{"_id":"77"}],"doi":"10.1007/978-3-540-48654-1_20","date_updated":"2022-01-06T06:59:07Z","_id":"3263","type":"conference","year":"1994","citation":{"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.","ieee":"A. Rensink and H. Wehrheim, “Weak Sequential Composition in Process Algebras,” in {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, 1994, pp. 226--241.","chicago":"Rensink, Arend, and Heike Wehrheim. “Weak Sequential Composition in Process Algebras.” In {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, edited by Bengt Jonsson and Joachim Parrow, 226--241. Lecture Notes in Computer Science, 1994. https://doi.org/10.1007/978-3-540-48654-1_20.","ama":"Rensink A, Wehrheim H. Weak Sequential Composition in Process Algebras. In: Jonsson B, Parrow J, eds. {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings. Lecture Notes in Computer Science. ; 1994:226--241. doi:10.1007/978-3-540-48654-1_20","apa":"Rensink, A., & Wehrheim, H. (1994). Weak Sequential Composition in Process Algebras. In B. Jonsson & J. Parrow (Eds.), {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings (pp. 226--241). https://doi.org/10.1007/978-3-540-48654-1_20","bibtex":"@inproceedings{Rensink_Wehrheim_1994, series={Lecture Notes in Computer Science}, title={Weak Sequential Composition in Process Algebras}, DOI={10.1007/978-3-540-48654-1_20}, 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.” {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, edited by Bengt Jonsson and Joachim Parrow, 1994, pp. 226--241, doi:10.1007/978-3-540-48654-1_20."},"page":"226--241","series_title":"Lecture Notes in Computer Science"},{"title":"Parametric Action Refinement","user_id":"29719","department":[{"_id":"77"}],"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","author":[{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}],"editor":[{"last_name":"Olderog","first_name":"Ernst{-}R{\\\"{u}}diger","full_name":"Olderog, Ernst{-}R{\\\"{u}}diger"}],"date_created":"2018-06-14T07:55:40Z","status":"public","_id":"3264","date_updated":"2022-01-06T06:59:07Z","series_title":"{IFIP} Transactions","page":"247--266","year":"1994","type":"conference","citation":{"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 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.","ama":"Wehrheim H. Parametric Action Refinement. In: Olderog E-}R{\\\"{u}}diger, 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. {IFIP} Transactions. ; 1994:247--266.","apa":"Wehrheim, H. (1994). Parametric Action Refinement. 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 (pp. 247--266).","chicago":"Wehrheim, Heike. “Parametric Action Refinement.” In 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, edited by Ernst{-}R{\\\"{u}}diger Olderog, 247--266. {IFIP} Transactions, 1994.","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.” 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, edited by Ernst{-}R{\\\"{u}}diger Olderog, 1994, pp. 247--266."}}]