Travelled to:1 × Portugal
Collaborated with:N.A.Lynch
Talks about:algorithm (1) abstract (1) process (1) mutual (1) exclus (1) proof (1) burn (1) use (1)
Person: Henrik Ejersbo Jensen
DBLP: Jensen:Henrik_Ejersbo
Contributed to:
1998Wrote 1 papers:
- TACAS-1998-JensenL #abstraction #algorithm #proving #using
- A Proof of Burns N-Process Mutual Exclusion Algorithm Using Abstraction (HEJ, NAL), pp. 409–423.