2005 | ||
---|---|---|
6 | EE | Joel Kelso, George Milne: Properties as Processes: Their Specification and Verification. FORTE 2005: 503-517 |
5 | EE | Gareth Lee, George Milne: Programming paradigms for reconfigurable computing. Microprocessors and Microsystems 29(10): 435-450 (2005) |
2004 | ||
4 | EE | Adam Dunn, George Milne: Modelling Wildfire Dynamics via Interacting Automata. ACRI 2004: 395-404 |
3 | EE | Shih Ching Fu, George Milne: A Flexible Automata Model for Disease Simulation. ACRI 2004: 642-649 |
2003 | ||
2 | EE | Gareth Lee, George Milne: Building Run-Time Reconfigurable Systems from Tiles. FPL 2003: 252-261 |
1979 | ||
1 | EE | George Milne, Robin Milner: Concurrent Processes and Their Syntax. J. ACM 26(2): 302-321 (1979) |
1 | Adam Dunn | [4] |
2 | Shih Ching Fu | [3] |
3 | Joel Kelso | [6] |
4 | Gareth Lee | [2] [5] |
5 | Robin Milner | [1] |