Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
195 Publications
1998 | Conference Paper | LibreCat-ID: 3255
A Process Algebra Semantics for {MSC} Including Conditions
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.
LibreCat
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.
1998 | Conference Paper | LibreCat-ID: 3256
An Algebraic Semantics for Message Sequence Chart Documents
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.
LibreCat
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.
1998 | Conference Paper | LibreCat-ID: 3257
Partial Order Reductions for Bisimulation Checking
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.
LibreCat
| DOI
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.
1997 | Conference Paper | LibreCat-ID: 3258
Dependency-Based Action Refinement
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.
LibreCat
| DOI
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.
1997 | Conference Paper | LibreCat-ID: 3259
Dependency-Based Action Refinement
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.
LibreCat
| DOI
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.
1996 | Dissertation | LibreCat-ID: 3260
Specifying reactive systems with action dependencies: modelling and hierarchical design
H. Wehrheim, Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design, University of Hildesheim, Germany, 1996.
LibreCat
H. Wehrheim, Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design, University of Hildesheim, Germany, 1996.
1996 | Journal Article | LibreCat-ID: 3261
Modelling Causality via Action Dependencies in Branching Time Semantics
U. Goltz, H. Wehrheim, Inf. Process. Lett. (1996) 179--184.
LibreCat
| DOI
U. Goltz, H. Wehrheim, Inf. Process. Lett. (1996) 179--184.
1996 | Conference Paper | LibreCat-ID: 3262
Causal Testing
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.
LibreCat
| DOI
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.
1994 | Conference Paper | LibreCat-ID: 3263
Weak Sequential Composition in Process Algebras
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.
LibreCat
| DOI
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.
1994 | Conference Paper | LibreCat-ID: 3264
Parametric Action Refinement
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.
LibreCat
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.