TY - CONF AU - Fischer, Clemens AU - Wehrheim, Heike ED - Rus, Teodor ID - 3249 T2 - Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings TI - Behavioural Subtyping Relations for Object-Oriented Formalisms ER - TY - CONF AU - Wehrheim, Heike ED - S. E. Maibaum, T. ID - 3250 T2 - 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 TI - Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods ER - TY - CONF AU - Wehrheim, Heike ED - F. Smith, Scott ED - L. Talcott, Carolyn ID - 3251 T2 - 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} TI - Behavioural Subtyping and Property Preservation ER - TY - JOUR AU - Wehrheim, Heike ID - 3252 JF - Electr. Notes Theor. Comput. Sci. TI - Partial order reductions for failures refinement ER - TY - CONF AU - Wehrheim, Heike ED - M. Wing, Jeannette ED - Woodcock, Jim ED - Davies, Jim ID - 3253 T2 - FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II} TI - Data Abstraction for {CSP-OZ} ER - TY - CONF AU - Fischer, Clemens AU - Wehrheim, Heike ED - Araki, Keijiro ED - Galloway, Andy ED - Taguchi, Kenji ID - 3254 T2 - Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999 TI - Model-Checking {CSP-OZ} Specifications with {FDR} ER - TY - CONF AU - Gehrke, Thomas AU - Huhn, Michaela AU - Niebert, Peter AU - Rensink, Arend AU - Wehrheim, Heike ED - K{\"{o}}nig, Hartmut ED - Langend{\"{o}}rfer, Peter ID - 3255 T2 - Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998 TI - A Process Algebra Semantics for {MSC} Including Conditions ER - TY - CONF AU - Gehrke, Thomas AU - Huhn, Michaela AU - Rensink, Arend AU - Wehrheim, Heike ED - Budkowski, Stanislaw ED - R. Cavalli, Ana ED - Najm, Elie ID - 3256 T2 - 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 TI - An Algebraic Semantics for Message Sequence Chart Documents ER - TY - CONF AU - Huhn, Michaela AU - Niebert, Peter AU - Wehrheim, Heike ED - Arvind, Vikraman ED - Ramanujam, Ramaswamy ID - 3257 T2 - Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings TI - Partial Order Reductions for Bisimulation Checking ER - TY - CONF AU - Rensink, Arend AU - Wehrheim, Heike ED - Pr{\'{\i}}vara, Igor ED - Ruzicka, Peter ID - 3258 T2 - Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings TI - Dependency-Based Action Refinement ER - TY - CONF AU - Rensink, Arend AU - Wehrheim, Heike ED - Pr{\'{\i}}vara, Igor ED - Ruzicka, Peter ID - 3259 T2 - Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings TI - Dependency-Based Action Refinement ER - TY - THES AU - Wehrheim, Heike ID - 3260 TI - Specifying reactive systems with action dependencies: modelling and hierarchical design ER - TY - JOUR AU - Goltz, Ursula AU - Wehrheim, Heike ID - 3261 IS - 4 JF - Inf. Process. Lett. TI - Modelling Causality via Action Dependencies in Branching Time Semantics ER - TY - CONF AU - Goltz, Ursula AU - Wehrheim, Heike ED - Penczek, Wojciech ED - Szalas, Andrzej ID - 3262 T2 - Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings TI - Causal Testing ER - TY - CONF AU - Rensink, Arend AU - Wehrheim, Heike ED - Jonsson, Bengt ED - Parrow, Joachim ID - 3263 T2 - {CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings TI - Weak Sequential Composition in Process Algebras ER - TY - CONF AU - Wehrheim, Heike ED - Olderog, Ernst{-}R{\"{u}}diger ID - 3264 T2 - 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 TI - Parametric Action Refinement ER -