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