|
| [Ama06b] | Amadio, R. -- A synchronous pi-calculus -- Université Paris 7, Laboratoire PPS, 2006. |
| |
| [Bou06g] | Boudol, G. -- Cooperative vs preemptive scheduling: a trade-off, or: typing termination in a higher-order imperative language -- draft, submitted, 2006. |
| |
| [ABB06b] | Amadio, R. et al. -- Reactive concurrent programming revisited -- Electronic Notes in Theoretical Computer Science, 1622006, pp. 49-60. |
| |
| [ABB05d] | Amadio, R. et al. -- Reactive concurrent programming revisited -- NS-05-3, BRICS Notes Series, 2005, pp. 12-20. |
| [ pdf ] |
| |
| [ABB05e] | Amadio, R. et al. -- Reactive concurrent programming revisited -- NS-05-3, BRICS Notes Series, 2005, pp. 12-20. |
| [ pdf ] |
| |
| [Ama05c] | Amadio, R. -- The SL synchronous language, revisited -- Laboratoire PPS, Université de Paris 7, 2005. |
| |
| [BS00b] | Boussinot, F. and Susini, J. -- Java Threads and SugarCubes -- Software Practice and Experience, 30(14), 2000, pp. 545--566. |
| |
|
