Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods
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.
LibreCat: /record/3250
DOI: 10.1007/3-540-46428-X_23

Behavioural Subtyping and Property Preservation
H. Wehrheim, in: S. F. Smith, C. L. Talcott (Eds.), Formal Methods for Open Object-Based Distributed Systems IV, IFIF T/W.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.
LibreCat: /record/3251
DOI: 10.1007/978-0-387-35520-7_11

Partial order reductions for failures refinement
H. Wehrheim, Electr. Notes Theor. Comput. Sci. (1999) 71--84.
LibreCat: /record/3252
DOI: 10.1016/S1571-0661(05)80296-8

Data Abstraction for CSP-OZ
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.
LibreCat: /record/3253
DOI: 10.1007/3-540-48118-4_5

Model-Checking CSP-OZ Specifications with FDR
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.
LibreCat: /record/3254

A Process Algebra Semantics for MSC Including Conditions
T. Gehrke, M. Huhn, P. Niebert, A. Rensink, H. Wehrheim, in: H. K\'22onig, P. Langend\'22orfer (Eds.), Formale Beschreibungstechniken F\'22ur Verteilte Systeme, 8. GI/ITG-Fachgespr\'22ach, Cottbus, 4. Und 5. Juni 1998, 1998, pp. 185--196.
LibreCat: /record/3255

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 T W.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: /record/3256

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: /record/3257
DOI: 10.1007/978-3-540-49382-2_26

Dependency-Based Action Refinement
A. Rensink, H. Wehrheim, in: I. Pr\rquote 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: /record/3258
DOI: 10.1007/BFb0029990

Dependency-Based Action Refinement
A. Rensink, H. Wehrheim, in: I. Pr\rquote 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: /record/3259
DOI: 10.1007/BFb0029990

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: /record/3260

Modelling Causality via Action Dependencies in Branching Time Semantics
U. Goltz, H. Wehrheim, Inf. Process. Lett. (1996) 179--184.
LibreCat: /record/3261
DOI: 10.1016/0020-0190(96)00111-1

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: /record/3262
DOI: 10.1007/3-540-61550-4_165

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: /record/3263
DOI: 10.1007/978-3-540-48654-1_20

Parametric Action Refinement
H. Wehrheim, in: E.-R\'22udiger Olderog (Ed.), Programming Concepts, Methods and Calculi, Proceedings of the IFIP T/W.1/W.2/W.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET ’94) San Miniato, Italy, 6-10 June, 1994, 1994, pp. 247--266.
LibreCat: /record/3264