{"year":"1998","page":"3--18","type":"conference","date_updated":"2022-01-06T06:59:07Z","user_id":"29719","_id":"3256","date_created":"2018-06-14T07:35:45Z","editor":[{"last_name":"Budkowski","full_name":"Budkowski, Stanislaw","first_name":"Stanislaw"},{"last_name":"R. Cavalli","full_name":"R. Cavalli, Ana","first_name":"Ana"},{"first_name":"Elie","last_name":"Najm","full_name":"Najm, Elie"}],"author":[{"full_name":"Gehrke, Thomas","last_name":"Gehrke","first_name":"Thomas"},{"last_name":"Huhn","full_name":"Huhn, Michaela","first_name":"Michaela"},{"last_name":"Rensink","full_name":"Rensink, Arend","first_name":"Arend"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"series_title":"{IFIP} Conference Proceedings","title":"An Algebraic Semantics for Message Sequence Chart Documents","citation":{"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.","bibtex":"@inproceedings{Gehrke_Huhn_Rensink_Wehrheim_1998, series={{IFIP} Conference Proceedings}, title={An Algebraic Semantics for Message Sequence Chart Documents}, booktitle={Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France}, author={Gehrke, Thomas and Huhn, Michaela and Rensink, Arend and Wehrheim, Heike}, editor={Budkowski, Stanislaw and R. Cavalli, Ana and Najm, ElieEditors}, year={1998}, pages={3--18}, collection={{IFIP} Conference Proceedings} }","short":"T. Gehrke, M. Huhn, A. Rensink, H. Wehrheim, in: S. Budkowski, A. R. Cavalli, E. Najm (Eds.), Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France, 1998, pp. 3--18.","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).","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."},"status":"public","publication":"Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII'98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France","department":[{"_id":"77"}]}