.gif)
] Filters: Author is Wehrheim, H. [Clear All Filters]
Action Refinement - An Application of Process Theory on Object-Oriented Specification,
, no. 40/95: Universität Hildesheim, November, 1995.
Abstract
"Action Refinement in System Specification: Comparing a Process Algebraic and an Object-Oriented Approach",
GI/ITG-Fachgespräch: ``Formale Beschreibungstechniken für verteilte Systeme'', 20/21. Juni 1996, Universität Erlangen, Germany, no. 29/9: Universität Erlangen, pp. 77-88, 1996.
Abstract