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