Searching for authors named Wim H. Hesselink – sorted by Relevance.
35 documents found, showing 1 through 10.
Next 10 →
-
Invariants for Bloom's register
- …Invariants for Bloom's register Wim H. Hesselink, March 25, 1999 (whh194) Dept. of Mathematics…
- Add To MetaCart
-
Theories for Mechanical Proofs of Imperative Programs
- …1 Theories for Mechanical Proofs of Imperative Programs Wim H. Hesselink, October 10, 1997 http://www.cs.rug.nl/~wim…
- Add To MetaCart
-
Eternity Variables to Simulate Specifications
- …���Eternity Variables to Simulate Specifications Wim H. Hesselink Dept. of Mathematics and Computing…
- Cited by 7 (3 self) – Add To MetaCart
-
Universal extensions to simulate specifications
- …���Universal Extensions to Simulate Specifications Wim H. Hesselink Department of Mathematics…
- Cited by 1 (1 self) – Add To MetaCart
-
A mechanical proof of Segall's PIF algorithm
- …1 A mechanical proof of Segall's PIF algorithm Wim H. Hesselink http://www.cs.rug.nl/~wim email…
- Cited by 4 (0 self) – Add To MetaCart
-
The verified incremental design of a distributed spanning tree algorithm (Extended Abstract)
- … --- Wim H. Hesselink, 25th November 1997, whh 168 email: wim@(email omitted); Dept. of Mathematics and Computing…
- Cited by 7 (3 self) – Add To MetaCart
-
Predicate Transformers for Recursive Procedures With Local Variables
- …Predicate transformers for recursive procedures with local variables Wim H. Hesselink, 2nd March…
- Cited by 4 (0 self) – Add To MetaCart
-
Await Constructs for a Crossing
- …1 Await Constructs for a Crossing Wim H. Hesselink, July 19, 2000 (WHH 218) Abstract A…
- Cited by 1 (1 self) – Add To MetaCart
-
Progress with Java threads as Dining Philosophers
- …���Progress with Java threads as dining philosophers Wim H. Hesselink, 31st August 2001 Abstract…
- Add To MetaCart
-
A Formal Proof of Fault-Tolerant Progress
- …A formal proof of fault-tolerant progress Wim H. Hesselink, February 23, 1998 (whh 167) email: wim…
- Cited by 4 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
