| Number | Name | Date | Kind |
|---|---|---|---|
| 4448680 | Wilks et al. | May 1984 | A |
| 5297276 | Millar et al. | Mar 1994 | A |
| 6304610 | Monson | Oct 2001 | B1 |
| 6687903 | Chalmer et al. | Feb 2004 | B1 |
| Entry |
|---|
| “The temporal specification technique for operating systems mechanisms ” by A. Hoppe (abstract only).* |
| “Region-based Petri nets for modeling interrupts and cancellations” by J. Borkowski (abstract only). |