Travelled to:1 × Denmark
1 × Italy
Collaborated with:∅ S.Paynter
Talks about:simpson (2) slot (2) asynchron (1) guarante (1) communic (1) correct (1) classif (1) method (1) mechan (1) formal (1)
Person: Neil Henderson
DBLP: Henderson:Neil
Contributed to:
20032002Wrote 2 papers:
- FME-2003-Henderson #correctness #proving #using
- Proving the Correctness of Simpson’s 4-Slot ACM Using an Assertional Rely-Guarantee Proof Method (NH), pp. 244–263.
- FME-2002-HendersonP #classification #communication #verification
- The Formal Classification and Verification of Simpson’s 4-Slot Asynchronous Communication Mechanism (NH, SP), pp. 350–369.