Searching for authors named Wim H. Hesselink – sorted by Relevance.
-
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

