[{"citation":{"ama":"Wehrheim H. Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods. In: S. E. Maibaum T, ed. <i>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</i>. Lecture Notes in Computer Science. ; 2000:334--348. doi:<a href=\"https://doi.org/10.1007/3-540-46428-X_23\">10.1007/3-540-46428-X_23</a>","ieee":"H. Wehrheim, “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods,” in <i>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</i>, 2000, pp. 334--348.","chicago":"Wehrheim, Heike. “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods.” In <i>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</i>, edited by T. S. E. Maibaum, 334--348. Lecture Notes in Computer Science, 2000. <a href=\"https://doi.org/10.1007/3-540-46428-X_23\">https://doi.org/10.1007/3-540-46428-X_23</a>.","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={<a href=\"https://doi.org/10.1007/3-540-46428-X_23\">10.1007/3-540-46428-X_23</a>}, 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} }","mla":"Wehrheim, Heike. “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods.” <i>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</i>, edited by T. S. E. Maibaum, 2000, pp. 334--348, doi:<a href=\"https://doi.org/10.1007/3-540-46428-X_23\">10.1007/3-540-46428-X_23</a>.","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.","apa":"Wehrheim, H. (2000). Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods. In T. S. E. Maibaum (Ed.), <i>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</i> (pp. 334--348). <a href=\"https://doi.org/10.1007/3-540-46428-X_23\">https://doi.org/10.1007/3-540-46428-X_23</a>"},"page":"334--348","year":"2000","author":[{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}],"date_created":"2018-06-14T07:22:20Z","date_updated":"2022-01-06T06:59:07Z","doi":"10.1007/3-540-46428-X_23","title":"Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods","type":"conference","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","status":"public","editor":[{"first_name":"T.","full_name":"S. E. Maibaum, T.","last_name":"S. E. Maibaum"}],"series_title":"Lecture Notes in Computer Science","user_id":"29719","department":[{"_id":"77"}],"_id":"3250"},{"citation":{"ieee":"H. Wehrheim, “Behavioural Subtyping and Property Preservation,” in <i>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}</i>, 2000, pp. 213--231.","chicago":"Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.” In <i>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}</i>, edited by Scott F. Smith and Carolyn L. Talcott, 213--231. {IFIP} Conference Proceedings, 2000. <a href=\"https://doi.org/10.1007/978-0-387-35520-7_11\">https://doi.org/10.1007/978-0-387-35520-7_11</a>.","ama":"Wehrheim H. Behavioural Subtyping and Property Preservation. In: F. Smith S, L. Talcott C, eds. <i>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}</i>. {IFIP} Conference Proceedings. ; 2000:213--231. doi:<a href=\"https://doi.org/10.1007/978-0-387-35520-7_11\">10.1007/978-0-387-35520-7_11</a>","bibtex":"@inproceedings{Wehrheim_2000, series={{IFIP} Conference Proceedings}, title={Behavioural Subtyping and Property Preservation}, DOI={<a href=\"https://doi.org/10.1007/978-0-387-35520-7_11\">10.1007/978-0-387-35520-7_11</a>}, 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} }","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.","mla":"Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.” <i>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}</i>, edited by Scott F. Smith and Carolyn L. Talcott, 2000, pp. 213--231, doi:<a href=\"https://doi.org/10.1007/978-0-387-35520-7_11\">10.1007/978-0-387-35520-7_11</a>.","apa":"Wehrheim, H. (2000). Behavioural Subtyping and Property Preservation. In S. F. Smith &#38; C. L. Talcott (Eds.), <i>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}</i> (pp. 213--231). <a href=\"https://doi.org/10.1007/978-0-387-35520-7_11\">https://doi.org/10.1007/978-0-387-35520-7_11</a>"},"page":"213--231","year":"2000","author":[{"first_name":"Heike","full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim"}],"date_created":"2018-06-14T07:25:14Z","date_updated":"2022-01-06T06:59:07Z","doi":"10.1007/978-0-387-35520-7_11","title":"Behavioural Subtyping and Property Preservation","type":"conference","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}","status":"public","editor":[{"first_name":"Scott","last_name":"F. Smith","full_name":"F. Smith, Scott"},{"first_name":"Carolyn","full_name":"L. Talcott, Carolyn","last_name":"L. Talcott"}],"series_title":"{IFIP} Conference Proceedings","user_id":"29719","department":[{"_id":"77"}],"_id":"3251"},{"year":"1999","citation":{"apa":"Wehrheim, H. (1999). Partial order reductions for failures refinement. <i>Electr. Notes Theor. Comput. Sci.</i>, 71--84. <a href=\"https://doi.org/10.1016/S1571-0661(05)80296-8\">https://doi.org/10.1016/S1571-0661(05)80296-8</a>","mla":"Wehrheim, Heike. “Partial Order Reductions for Failures Refinement.” <i>Electr. Notes Theor. Comput. Sci.</i>, 1999, pp. 71--84, doi:<a href=\"https://doi.org/10.1016/S1571-0661(05)80296-8\">10.1016/S1571-0661(05)80296-8</a>.","bibtex":"@article{Wehrheim_1999, title={Partial order reductions for failures refinement}, DOI={<a href=\"https://doi.org/10.1016/S1571-0661(05)80296-8\">10.1016/S1571-0661(05)80296-8</a>}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={1999}, pages={71--84} }","short":"H. Wehrheim, Electr. Notes Theor. Comput. Sci. (1999) 71--84.","chicago":"Wehrheim, Heike. “Partial Order Reductions for Failures Refinement.” <i>Electr. Notes Theor. Comput. Sci.</i>, 1999, 71--84. <a href=\"https://doi.org/10.1016/S1571-0661(05)80296-8\">https://doi.org/10.1016/S1571-0661(05)80296-8</a>.","ieee":"H. Wehrheim, “Partial order reductions for failures refinement,” <i>Electr. Notes Theor. Comput. Sci.</i>, pp. 71--84, 1999.","ama":"Wehrheim H. Partial order reductions for failures refinement. <i>Electr Notes Theor Comput Sci</i>. 1999:71--84. doi:<a href=\"https://doi.org/10.1016/S1571-0661(05)80296-8\">10.1016/S1571-0661(05)80296-8</a>"},"page":"71--84","title":"Partial order reductions for failures refinement","doi":"10.1016/S1571-0661(05)80296-8","date_updated":"2022-01-06T06:59:07Z","author":[{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"date_created":"2018-06-14T07:26:58Z","status":"public","type":"journal_article","publication":"Electr. Notes Theor. Comput. Sci.","_id":"3252","user_id":"29719","department":[{"_id":"77"}]},{"_id":"3253","department":[{"_id":"77"}],"series_title":"Lecture Notes in Computer Science","user_id":"29719","editor":[{"first_name":"Jeannette","full_name":"M. Wing, Jeannette","last_name":"M. Wing"},{"first_name":"Jim","full_name":"Woodcock, Jim","last_name":"Woodcock"},{"first_name":"Jim","full_name":"Davies, Jim","last_name":"Davies"}],"status":"public","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}","type":"conference","title":"Data Abstraction for {CSP-OZ}","doi":"10.1007/3-540-48118-4_5","date_updated":"2022-01-06T06:59:07Z","date_created":"2018-06-14T07:32:05Z","author":[{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"year":"1999","page":"1028--1047","citation":{"chicago":"Wehrheim, Heike. “Data Abstraction for {CSP-OZ}.” In <i>FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}</i>, edited by Jeannette M. Wing, Jim Woodcock, and Jim Davies, 1028--1047. Lecture Notes in Computer Science, 1999. <a href=\"https://doi.org/10.1007/3-540-48118-4_5\">https://doi.org/10.1007/3-540-48118-4_5</a>.","ieee":"H. Wehrheim, “Data Abstraction for {CSP-OZ},” in <i>FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}</i>, 1999, pp. 1028--1047.","ama":"Wehrheim H. Data Abstraction for {CSP-OZ}. In: M. Wing J, Woodcock J, Davies J, eds. <i>FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}</i>. Lecture Notes in Computer Science. ; 1999:1028--1047. doi:<a href=\"https://doi.org/10.1007/3-540-48118-4_5\">10.1007/3-540-48118-4_5</a>","apa":"Wehrheim, H. (1999). Data Abstraction for {CSP-OZ}. In J. M. Wing, J. Woodcock, &#38; J. Davies (Eds.), <i>FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}</i> (pp. 1028--1047). <a href=\"https://doi.org/10.1007/3-540-48118-4_5\">https://doi.org/10.1007/3-540-48118-4_5</a>","mla":"Wehrheim, Heike. “Data Abstraction for {CSP-OZ}.” <i>FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}</i>, edited by Jeannette M. Wing et al., 1999, pp. 1028--1047, doi:<a href=\"https://doi.org/10.1007/3-540-48118-4_5\">10.1007/3-540-48118-4_5</a>.","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.","bibtex":"@inproceedings{Wehrheim_1999, series={Lecture Notes in Computer Science}, title={Data Abstraction for {CSP-OZ}}, DOI={<a href=\"https://doi.org/10.1007/3-540-48118-4_5\">10.1007/3-540-48118-4_5</a>}, 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} }"}},{"title":"Model-Checking {CSP-OZ} Specifications with {FDR}","date_updated":"2022-01-06T06:59:07Z","date_created":"2018-06-14T07:33:10Z","author":[{"full_name":"Fischer, Clemens","last_name":"Fischer","first_name":"Clemens"},{"first_name":"Heike","id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}],"year":"1999","page":"315--334","citation":{"ieee":"C. Fischer and H. Wehrheim, “Model-Checking {CSP-OZ} Specifications with {FDR},” in <i>Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999</i>, 1999, pp. 315--334.","chicago":"Fischer, Clemens, and Heike Wehrheim. “Model-Checking {CSP-OZ} Specifications with {FDR}.” In <i>Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999</i>, 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. <i>Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999</i>. ; 1999: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.","mla":"Fischer, Clemens, and Heike Wehrheim. “Model-Checking {CSP-OZ} Specifications with {FDR}.” <i>Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999</i>, edited by Keijiro Araki et al., 1999, pp. 315--334.","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} }","apa":"Fischer, C., &#38; Wehrheim, H. (1999). Model-Checking {CSP-OZ} Specifications with {FDR}. In K. Araki, A. Galloway, &#38; K. Taguchi (Eds.), <i>Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999</i> (pp. 315--334)."},"_id":"3254","department":[{"_id":"77"}],"user_id":"29719","editor":[{"first_name":"Keijiro","full_name":"Araki, Keijiro","last_name":"Araki"},{"last_name":"Galloway","full_name":"Galloway, Andy","first_name":"Andy"},{"last_name":"Taguchi","full_name":"Taguchi, Kenji","first_name":"Kenji"}],"status":"public","publication":"Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999","type":"conference"},{"editor":[{"full_name":"K{\\\"{o}}nig, Hartmut","last_name":"K{\\\"{o}}nig","first_name":"Hartmut"},{"first_name":"Peter","last_name":"Langend{\\\"{o}}rfer","full_name":"Langend{\\\"{o}}rfer, Peter"}],"status":"public","type":"conference","publication":"Formale Beschreibungstechniken f{\\\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. und 5. Juni 1998","_id":"3255","user_id":"29719","department":[{"_id":"77"}],"year":"1998","citation":{"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.","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} }","mla":"Gehrke, Thomas, et al. “A Process Algebra Semantics for {MSC} Including Conditions.” <i>Formale Beschreibungstechniken F{\\\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. Und 5. Juni 1998</i>, edited by Hartmut K{\\\"{o}}nig and Peter Langend{\\\"{o}}rfer, 1998, pp. 185--196.","apa":"Gehrke, T., Huhn, M., Niebert, P., Rensink, A., &#38; Wehrheim, H. (1998). A Process Algebra Semantics for {MSC} Including Conditions. In H. K{\\\"{o}}nig &#38; P. Langend{\\\"{o}}rfer (Eds.), <i>Formale Beschreibungstechniken f{\\\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. und 5. Juni 1998</i> (pp. 185--196).","ieee":"T. Gehrke, M. Huhn, P. Niebert, A. Rensink, and H. Wehrheim, “A Process Algebra Semantics for {MSC} Including Conditions,” in <i>Formale Beschreibungstechniken f{\\\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. und 5. Juni 1998</i>, 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 <i>Formale Beschreibungstechniken F{\\\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. Und 5. Juni 1998</i>, edited by Hartmut K{\\\"{o}}nig and Peter Langend{\\\"{o}}rfer, 185--196, 1998.","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. <i>Formale Beschreibungstechniken F{\\\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. Und 5. Juni 1998</i>. ; 1998:185--196."},"page":"185--196","title":"A Process Algebra Semantics for {MSC} Including Conditions","date_updated":"2022-01-06T06:59:07Z","date_created":"2018-06-14T07:34:22Z","author":[{"full_name":"Gehrke, Thomas","last_name":"Gehrke","first_name":"Thomas"},{"first_name":"Michaela","full_name":"Huhn, Michaela","last_name":"Huhn"},{"first_name":"Peter","full_name":"Niebert, Peter","last_name":"Niebert"},{"first_name":"Arend","full_name":"Rensink, Arend","last_name":"Rensink"},{"first_name":"Heike","full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim"}]},{"year":"1998","page":"3--18","citation":{"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.","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} }","mla":"Gehrke, Thomas, et al. “An Algebraic Semantics for Message Sequence Chart Documents.” <i>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</i>, edited by Stanislaw Budkowski et al., 1998, pp. 3--18.","apa":"Gehrke, T., Huhn, M., Rensink, A., &#38; Wehrheim, H. (1998). An Algebraic Semantics for Message Sequence Chart Documents. In S. Budkowski, A. R. Cavalli, &#38; E. Najm (Eds.), <i>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</i> (pp. 3--18).","ieee":"T. Gehrke, M. Huhn, A. Rensink, and H. Wehrheim, “An Algebraic Semantics for Message Sequence Chart Documents,” in <i>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</i>, 1998, pp. 3--18.","chicago":"Gehrke, Thomas, Michaela Huhn, Arend Rensink, and Heike Wehrheim. “An Algebraic Semantics for Message Sequence Chart Documents.” In <i>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</i>, edited by Stanislaw Budkowski, Ana R. Cavalli, and Elie Najm, 3--18. {IFIP} Conference Proceedings, 1998.","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. <i>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</i>. {IFIP} Conference Proceedings. ; 1998:3--18."},"date_updated":"2022-01-06T06:59:07Z","author":[{"last_name":"Gehrke","full_name":"Gehrke, Thomas","first_name":"Thomas"},{"last_name":"Huhn","full_name":"Huhn, Michaela","first_name":"Michaela"},{"last_name":"Rensink","full_name":"Rensink, Arend","first_name":"Arend"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"date_created":"2018-06-14T07:35:45Z","title":"An Algebraic Semantics for Message Sequence Chart Documents","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","type":"conference","editor":[{"first_name":"Stanislaw","full_name":"Budkowski, Stanislaw","last_name":"Budkowski"},{"full_name":"R. Cavalli, Ana","last_name":"R. Cavalli","first_name":"Ana"},{"last_name":"Najm","full_name":"Najm, Elie","first_name":"Elie"}],"status":"public","_id":"3256","department":[{"_id":"77"}],"user_id":"29719","series_title":"{IFIP} Conference Proceedings"},{"editor":[{"first_name":"Vikraman","full_name":"Arvind, Vikraman","last_name":"Arvind"},{"last_name":"Ramanujam","full_name":"Ramanujam, Ramaswamy","first_name":"Ramaswamy"}],"status":"public","publication":"Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings","type":"conference","_id":"3257","department":[{"_id":"77"}],"series_title":"Lecture Notes in Computer Science","user_id":"29719","year":"1998","page":"271--282","citation":{"ama":"Huhn M, Niebert P, Wehrheim H. Partial Order Reductions for Bisimulation Checking. In: Arvind V, Ramanujam R, eds. <i>Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings</i>. Lecture Notes in Computer Science. ; 1998:271--282. doi:<a href=\"https://doi.org/10.1007/978-3-540-49382-2_26\">10.1007/978-3-540-49382-2_26</a>","chicago":"Huhn, Michaela, Peter Niebert, and Heike Wehrheim. “Partial Order Reductions for Bisimulation Checking.” In <i>Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings</i>, edited by Vikraman Arvind and Ramaswamy Ramanujam, 271--282. Lecture Notes in Computer Science, 1998. <a href=\"https://doi.org/10.1007/978-3-540-49382-2_26\">https://doi.org/10.1007/978-3-540-49382-2_26</a>.","ieee":"M. Huhn, P. Niebert, and H. Wehrheim, “Partial Order Reductions for Bisimulation Checking,” in <i>Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings</i>, 1998, pp. 271--282.","mla":"Huhn, Michaela, et al. “Partial Order Reductions for Bisimulation Checking.” <i>Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings</i>, edited by Vikraman Arvind and Ramaswamy Ramanujam, 1998, pp. 271--282, doi:<a href=\"https://doi.org/10.1007/978-3-540-49382-2_26\">10.1007/978-3-540-49382-2_26</a>.","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.","bibtex":"@inproceedings{Huhn_Niebert_Wehrheim_1998, series={Lecture Notes in Computer Science}, title={Partial Order Reductions for Bisimulation Checking}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-49382-2_26\">10.1007/978-3-540-49382-2_26</a>}, 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} }","apa":"Huhn, M., Niebert, P., &#38; Wehrheim, H. (1998). Partial Order Reductions for Bisimulation Checking. In V. Arvind &#38; R. Ramanujam (Eds.), <i>Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings</i> (pp. 271--282). <a href=\"https://doi.org/10.1007/978-3-540-49382-2_26\">https://doi.org/10.1007/978-3-540-49382-2_26</a>"},"title":"Partial Order Reductions for Bisimulation Checking","doi":"10.1007/978-3-540-49382-2_26","date_updated":"2022-01-06T06:59:07Z","author":[{"full_name":"Huhn, Michaela","last_name":"Huhn","first_name":"Michaela"},{"first_name":"Peter","full_name":"Niebert, Peter","last_name":"Niebert"},{"first_name":"Heike","last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike"}],"date_created":"2018-06-14T07:37:32Z"},{"_id":"3258","department":[{"_id":"77"}],"series_title":"Lecture Notes in Computer Science","user_id":"29719","editor":[{"first_name":"Igor","full_name":"Pr{\\'{\\i}}vara, Igor","last_name":"Pr{\\'{\\i}}vara"},{"full_name":"Ruzicka, Peter","last_name":"Ruzicka","first_name":"Peter"}],"status":"public","publication":"Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings","type":"conference","title":"Dependency-Based Action Refinement","doi":"10.1007/BFb0029990","date_updated":"2022-01-06T06:59:07Z","date_created":"2018-06-14T07:40:10Z","author":[{"full_name":"Rensink, Arend","last_name":"Rensink","first_name":"Arend"},{"first_name":"Heike","id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}],"year":"1997","page":"468--477","citation":{"apa":"Rensink, A., &#38; Wehrheim, H. (1997). Dependency-Based Action Refinement. In I. Pr{\\’{\\i}}vara &#38; P. Ruzicka (Eds.), <i>Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings</i> (pp. 468--477). <a href=\"https://doi.org/10.1007/BFb0029990\">https://doi.org/10.1007/BFb0029990</a>","mla":"Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.” <i>Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings</i>, edited by Igor Pr{\\’{\\i}}vara and Peter Ruzicka, 1997, pp. 468--477, doi:<a href=\"https://doi.org/10.1007/BFb0029990\">10.1007/BFb0029990</a>.","bibtex":"@inproceedings{Rensink_Wehrheim_1997, series={Lecture Notes in Computer Science}, title={Dependency-Based Action Refinement}, DOI={<a href=\"https://doi.org/10.1007/BFb0029990\">10.1007/BFb0029990</a>}, booktitle={Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings}, author={Rensink, Arend and Wehrheim, Heike}, editor={Pr{\\’{\\i}}vara, Igor and Ruzicka, PeterEditors}, year={1997}, pages={468--477}, collection={Lecture Notes in Computer Science} }","short":"A. Rensink, H. Wehrheim, in: I. Pr{\\’{\\i}}vara, P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.","chicago":"Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.” In <i>Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings</i>, edited by Igor Pr{\\’{\\i}}vara and Peter Ruzicka, 468--477. Lecture Notes in Computer Science, 1997. <a href=\"https://doi.org/10.1007/BFb0029990\">https://doi.org/10.1007/BFb0029990</a>.","ieee":"A. Rensink and H. Wehrheim, “Dependency-Based Action Refinement,” in <i>Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings</i>, 1997, pp. 468--477.","ama":"Rensink A, Wehrheim H. Dependency-Based Action Refinement. In: Pr{\\’{\\i}}vara I, Ruzicka P, eds. <i>Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings</i>. Lecture Notes in Computer Science. ; 1997:468--477. doi:<a href=\"https://doi.org/10.1007/BFb0029990\">10.1007/BFb0029990</a>"}},{"status":"public","editor":[{"first_name":"Igor","full_name":"Pr{\\'{\\i}}vara, Igor","last_name":"Pr{\\'{\\i}}vara"},{"first_name":"Peter","last_name":"Ruzicka","full_name":"Ruzicka, Peter"}],"publication":"Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings","type":"conference","department":[{"_id":"77"}],"series_title":"Lecture Notes in Computer Science","user_id":"29719","_id":"3259","page":"468--477","citation":{"ieee":"A. Rensink and H. Wehrheim, “Dependency-Based Action Refinement,” in <i>Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings</i>, 1997, pp. 468--477.","chicago":"Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.” In <i>Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings</i>, edited by Igor Pr{\\’{\\i}}vara and Peter Ruzicka, 468--477. Lecture Notes in Computer Science, 1997. <a href=\"https://doi.org/10.1007/BFb0029990\">https://doi.org/10.1007/BFb0029990</a>.","ama":"Rensink A, Wehrheim H. Dependency-Based Action Refinement. In: Pr{\\’{\\i}}vara I, Ruzicka P, eds. <i>Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings</i>. Lecture Notes in Computer Science. ; 1997:468--477. doi:<a href=\"https://doi.org/10.1007/BFb0029990\">10.1007/BFb0029990</a>","apa":"Rensink, A., &#38; Wehrheim, H. (1997). Dependency-Based Action Refinement. In I. Pr{\\’{\\i}}vara &#38; P. Ruzicka (Eds.), <i>Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings</i> (pp. 468--477). <a href=\"https://doi.org/10.1007/BFb0029990\">https://doi.org/10.1007/BFb0029990</a>","bibtex":"@inproceedings{Rensink_Wehrheim_1997, series={Lecture Notes in Computer Science}, title={Dependency-Based Action Refinement}, DOI={<a href=\"https://doi.org/10.1007/BFb0029990\">10.1007/BFb0029990</a>}, booktitle={Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings}, author={Rensink, Arend and Wehrheim, Heike}, editor={Pr{\\’{\\i}}vara, Igor and Ruzicka, PeterEditors}, year={1997}, pages={468--477}, collection={Lecture Notes in Computer Science} }","short":"A. Rensink, H. Wehrheim, in: I. Pr{\\’{\\i}}vara, P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.","mla":"Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.” <i>Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings</i>, edited by Igor Pr{\\’{\\i}}vara and Peter Ruzicka, 1997, pp. 468--477, doi:<a href=\"https://doi.org/10.1007/BFb0029990\">10.1007/BFb0029990</a>."},"year":"1997","doi":"10.1007/BFb0029990","title":"Dependency-Based Action Refinement","date_created":"2018-06-14T07:43:09Z","author":[{"first_name":"Arend","full_name":"Rensink, Arend","last_name":"Rensink"},{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}],"date_updated":"2022-01-06T06:59:07Z"},{"department":[{"_id":"77"}],"user_id":"29719","_id":"3260","type":"dissertation","status":"public","date_created":"2018-06-14T07:44:32Z","author":[{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"date_updated":"2022-01-06T06:59:07Z","publisher":"University of Hildesheim, Germany","title":"Specifying reactive systems with action dependencies: modelling and hierarchical design","citation":{"ama":"Wehrheim H. <i>Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design</i>. University of Hildesheim, Germany; 1996.","chicago":"Wehrheim, Heike. <i>Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design</i>. University of Hildesheim, Germany, 1996.","ieee":"H. Wehrheim, <i>Specifying reactive systems with action dependencies: modelling and hierarchical design</i>. University of Hildesheim, Germany, 1996.","bibtex":"@book{Wehrheim_1996, title={Specifying reactive systems with action dependencies: modelling and hierarchical design}, publisher={University of Hildesheim, Germany}, author={Wehrheim, Heike}, year={1996} }","short":"H. Wehrheim, Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design, University of Hildesheim, Germany, 1996.","mla":"Wehrheim, Heike. <i>Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design</i>. University of Hildesheim, Germany, 1996.","apa":"Wehrheim, H. (1996). <i>Specifying reactive systems with action dependencies: modelling and hierarchical design</i>. University of Hildesheim, Germany."},"year":"1996"},{"user_id":"29719","department":[{"_id":"77"}],"_id":"3261","status":"public","type":"journal_article","publication":"Inf. Process. Lett.","doi":"10.1016/0020-0190(96)00111-1","title":"Modelling Causality via Action Dependencies in Branching Time Semantics","date_created":"2018-06-14T07:52:02Z","author":[{"first_name":"Ursula","full_name":"Goltz, Ursula","last_name":"Goltz"},{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}],"date_updated":"2022-01-06T06:59:07Z","citation":{"apa":"Goltz, U., &#38; Wehrheim, H. (1996). Modelling Causality via Action Dependencies in Branching Time Semantics. <i>Inf. Process. Lett.</i>, (4), 179--184. <a href=\"https://doi.org/10.1016/0020-0190(96)00111-1\">https://doi.org/10.1016/0020-0190(96)00111-1</a>","mla":"Goltz, Ursula, and Heike Wehrheim. “Modelling Causality via Action Dependencies in Branching Time Semantics.” <i>Inf. Process. Lett.</i>, no. 4, 1996, pp. 179--184, doi:<a href=\"https://doi.org/10.1016/0020-0190(96)00111-1\">10.1016/0020-0190(96)00111-1</a>.","bibtex":"@article{Goltz_Wehrheim_1996, title={Modelling Causality via Action Dependencies in Branching Time Semantics}, DOI={<a href=\"https://doi.org/10.1016/0020-0190(96)00111-1\">10.1016/0020-0190(96)00111-1</a>}, number={4}, journal={Inf. Process. Lett.}, author={Goltz, Ursula and Wehrheim, Heike}, year={1996}, pages={179--184} }","short":"U. Goltz, H. Wehrheim, Inf. Process. Lett. (1996) 179--184.","chicago":"Goltz, Ursula, and Heike Wehrheim. “Modelling Causality via Action Dependencies in Branching Time Semantics.” <i>Inf. Process. Lett.</i>, no. 4 (1996): 179--184. <a href=\"https://doi.org/10.1016/0020-0190(96)00111-1\">https://doi.org/10.1016/0020-0190(96)00111-1</a>.","ieee":"U. Goltz and H. Wehrheim, “Modelling Causality via Action Dependencies in Branching Time Semantics,” <i>Inf. Process. Lett.</i>, no. 4, pp. 179--184, 1996.","ama":"Goltz U, Wehrheim H. Modelling Causality via Action Dependencies in Branching Time Semantics. <i>Inf Process Lett</i>. 1996;(4):179--184. doi:<a href=\"https://doi.org/10.1016/0020-0190(96)00111-1\">10.1016/0020-0190(96)00111-1</a>"},"page":"179--184","year":"1996","issue":"4"},{"date_updated":"2022-01-06T06:59:07Z","author":[{"last_name":"Goltz","full_name":"Goltz, Ursula","first_name":"Ursula"},{"first_name":"Heike","full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim"}],"date_created":"2018-06-14T07:53:08Z","title":"Causal Testing","doi":"10.1007/3-540-61550-4_165","year":"1996","citation":{"chicago":"Goltz, Ursula, and Heike Wehrheim. “Causal Testing.” In <i>Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings</i>, edited by Wojciech Penczek and Andrzej Szalas, 394--406. Lecture Notes in Computer Science, 1996. <a href=\"https://doi.org/10.1007/3-540-61550-4_165\">https://doi.org/10.1007/3-540-61550-4_165</a>.","ieee":"U. Goltz and H. Wehrheim, “Causal Testing,” in <i>Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings</i>, 1996, pp. 394--406.","ama":"Goltz U, Wehrheim H. Causal Testing. In: Penczek W, Szalas A, eds. <i>Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings</i>. Lecture Notes in Computer Science. ; 1996:394--406. doi:<a href=\"https://doi.org/10.1007/3-540-61550-4_165\">10.1007/3-540-61550-4_165</a>","apa":"Goltz, U., &#38; Wehrheim, H. (1996). Causal Testing. In W. Penczek &#38; A. Szalas (Eds.), <i>Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings</i> (pp. 394--406). <a href=\"https://doi.org/10.1007/3-540-61550-4_165\">https://doi.org/10.1007/3-540-61550-4_165</a>","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={<a href=\"https://doi.org/10.1007/3-540-61550-4_165\">10.1007/3-540-61550-4_165</a>}, booktitle={Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings}, author={Goltz, Ursula and Wehrheim, Heike}, editor={Penczek, Wojciech and Szalas, AndrzejEditors}, year={1996}, pages={394--406}, collection={Lecture Notes in Computer Science} }","mla":"Goltz, Ursula, and Heike Wehrheim. “Causal Testing.” <i>Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings</i>, edited by Wojciech Penczek and Andrzej Szalas, 1996, pp. 394--406, doi:<a href=\"https://doi.org/10.1007/3-540-61550-4_165\">10.1007/3-540-61550-4_165</a>."},"page":"394--406","_id":"3262","series_title":"Lecture Notes in Computer Science","user_id":"29719","department":[{"_id":"77"}],"type":"conference","publication":"Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings","editor":[{"first_name":"Wojciech","last_name":"Penczek","full_name":"Penczek, Wojciech"},{"first_name":"Andrzej","full_name":"Szalas, Andrzej","last_name":"Szalas"}],"status":"public"},{"date_updated":"2022-01-06T06:59:07Z","date_created":"2018-06-14T07:54:32Z","author":[{"first_name":"Arend","last_name":"Rensink","full_name":"Rensink, Arend"},{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}],"title":"Weak Sequential Composition in Process Algebras","doi":"10.1007/978-3-540-48654-1_20","year":"1994","citation":{"ama":"Rensink A, Wehrheim H. Weak Sequential Composition in Process Algebras. In: Jonsson B, Parrow J, eds. <i>{CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings</i>. Lecture Notes in Computer Science. ; 1994:226--241. doi:<a href=\"https://doi.org/10.1007/978-3-540-48654-1_20\">10.1007/978-3-540-48654-1_20</a>","ieee":"A. Rensink and H. Wehrheim, “Weak Sequential Composition in Process Algebras,” in <i>{CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings</i>, 1994, pp. 226--241.","chicago":"Rensink, Arend, and Heike Wehrheim. “Weak Sequential Composition in Process Algebras.” In <i>{CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings</i>, edited by Bengt Jonsson and Joachim Parrow, 226--241. Lecture Notes in Computer Science, 1994. <a href=\"https://doi.org/10.1007/978-3-540-48654-1_20\">https://doi.org/10.1007/978-3-540-48654-1_20</a>.","short":"A. Rensink, H. Wehrheim, in: B. Jonsson, J. Parrow (Eds.), {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, 1994, pp. 226--241.","bibtex":"@inproceedings{Rensink_Wehrheim_1994, series={Lecture Notes in Computer Science}, title={Weak Sequential Composition in Process Algebras}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-48654-1_20\">10.1007/978-3-540-48654-1_20</a>}, booktitle={{CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings}, author={Rensink, Arend and Wehrheim, Heike}, editor={Jonsson, Bengt and Parrow, JoachimEditors}, year={1994}, pages={226--241}, collection={Lecture Notes in Computer Science} }","mla":"Rensink, Arend, and Heike Wehrheim. “Weak Sequential Composition in Process Algebras.” <i>{CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings</i>, edited by Bengt Jonsson and Joachim Parrow, 1994, pp. 226--241, doi:<a href=\"https://doi.org/10.1007/978-3-540-48654-1_20\">10.1007/978-3-540-48654-1_20</a>.","apa":"Rensink, A., &#38; Wehrheim, H. (1994). Weak Sequential Composition in Process Algebras. In B. Jonsson &#38; J. Parrow (Eds.), <i>{CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings</i> (pp. 226--241). <a href=\"https://doi.org/10.1007/978-3-540-48654-1_20\">https://doi.org/10.1007/978-3-540-48654-1_20</a>"},"page":"226--241","_id":"3263","user_id":"29719","series_title":"Lecture Notes in Computer Science","department":[{"_id":"77"}],"type":"conference","publication":"{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings","editor":[{"last_name":"Jonsson","full_name":"Jonsson, Bengt","first_name":"Bengt"},{"first_name":"Joachim","full_name":"Parrow, Joachim","last_name":"Parrow"}],"status":"public"},{"_id":"3264","department":[{"_id":"77"}],"user_id":"29719","series_title":"{IFIP} Transactions","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","type":"conference","editor":[{"first_name":"Ernst{-}R{\\\"{u}}diger","full_name":"Olderog, Ernst{-}R{\\\"{u}}diger","last_name":"Olderog"}],"status":"public","date_updated":"2022-01-06T06:59:07Z","date_created":"2018-06-14T07:55:40Z","author":[{"first_name":"Heike","id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}],"title":"Parametric Action Refinement","year":"1994","page":"247--266","citation":{"ama":"Wehrheim H. Parametric Action Refinement. In: Olderog E-}R{\\\"{u}}diger, ed. <i>Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy, 6-10 June, 1994</i>. {IFIP} Transactions. ; 1994:247--266.","ieee":"H. Wehrheim, “Parametric Action Refinement,” in <i>Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy, 6-10 June, 1994</i>, 1994, pp. 247--266.","chicago":"Wehrheim, Heike. “Parametric Action Refinement.” In <i>Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy, 6-10 June, 1994</i>, edited by Ernst{-}R{\\\"{u}}diger Olderog, 247--266. {IFIP} Transactions, 1994.","bibtex":"@inproceedings{Wehrheim_1994, series={{IFIP} Transactions}, title={Parametric Action Refinement}, booktitle={Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy, 6-10 June, 1994}, author={Wehrheim, Heike}, editor={Olderog, Ernst{-}R{\\\"{u}}digerEditor}, year={1994}, pages={247--266}, collection={{IFIP} Transactions} }","mla":"Wehrheim, Heike. “Parametric Action Refinement.” <i>Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy, 6-10 June, 1994</i>, edited by Ernst{-}R{\\\"{u}}diger Olderog, 1994, pp. 247--266.","short":"H. Wehrheim, in: E.-}R{\\\"{u}}diger Olderog (Ed.), Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy, 6-10 June, 1994, 1994, pp. 247--266.","apa":"Wehrheim, H. (1994). Parametric Action Refinement. In E.-}R{\\\"{u}}diger Olderog (Ed.), <i>Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy, 6-10 June, 1994</i> (pp. 247--266)."}}]