A computer-checked verification of Milner's scheduler (1994)

Cached

Download Links

by Henri Korver , Jan Springintveld
Venue:PROCEEDINGS OF THE 2 ND INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SOFTWARE, TACS '94
Citations:18 - 5 self