Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Wehrheim, Heike - Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn
AN ALGEBRAIC SEMANTICS FOR MESSAGE SEQUENCE CHART
Preserving Properties under Change Heike Wehrheim
Specification and Inheritance in CSPOZ # ErnstRudiger Olderog and Heike Wehrheim
in Proceedings of: CONCUR'94, B.Jonsson, J.Parrow (Eds.), LNCS 836 Weak Sequential Composition in Process Algebras
Partial Order Reductions for Bisimulation Michaela Huhn ffi ? , Peter Niebert + , Heike Wehrheim y
Parametric Action Refinement \Lambda Heike Wehrheim a
Linking CSPOZ with UML and Java: A Case Study #
in: MFCS'97, Peter Ruzicka (Ed.) Dependencybased action refinement
Causal Testing \Lambda Ursula Goltz and Heike Wehrheim
