Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
readme.pdf | 2023-07-18 17:28 | 321K | ||
furtherExperiments/ | 2023-07-18 19:33 | - | ||
fig2.jpg | 2023-07-18 10:24 | 67K | ||
fig1.jpg | 2023-07-18 10:24 | 119K | ||
epollingsystem-ctmc.props | 2023-07-18 10:24 | 315 | ||
epollingsystem-ctmc.prism | 2023-07-18 10:24 | 42K | ||
Lqp.hs | 2023-07-27 14:40 | 86K | ||