Frank Stomp
Author
Alternate names Frank Stomp, F. A. Stomp, Frank A. Stomp, F. Stomp
Institution Wayne State University
Past institutions Wayne State University, Nokia (United States), Kiel University, University of California, Davis, Conference Board +5 more
H-index: 10
I10-index: 10
Works count: 35
Citations count: 235
A Principle for Sequential Reasoning about Distributed Algorithms
1994 · Frank Stomp, W.-R de Roever · Formal Aspects of Computing
Designing distributed algorithms by means of formal sequentially phased reasoning
1989 · Frank Stomp, Willem P. de Roever · Lecture notes in computer science
Structured design of self-stabilizing programs
2002 · Frank Stomp