Travelled to:1 × Austria
1 × France
1 × United Kingdom
Collaborated with:W.P.d.Roever F.S.d.Boer J.Zwiers Y.Lakhnech F.A.Stomp
Talks about:variabl (2) concurr (2) share (2) paradigm (1) guarante (1) composit (1) approach (1) specifi (1) softwar (1) program (1)
Person: Ulrich Hannemann
DBLP: Hannemann:Ulrich
Contributed to:
199919971996Wrote 3 papers:
- FM-v2-1999-BoerHR #approach #concurrent #paradigm #semantics
- Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach (FSdB, UH, WPdR), pp. 1245–1265.
- FME-1997-BoerHR #composition #concurrent #proving
- A Compositional Proof System for Shared Variable Concurrency (FSdB, UH, WPdR), pp. 515–532.
- FME-1996-ZwiersHLRS #composition #development #reuse #top-down #using
- Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development (JZ, UH, YL, WPdR, FAS), pp. 595–608.