| Reactive, generative, and stratified models of probabilistic processes CMNT R van Glabbeek, SA Smolka, B Steffen Logic in Computer Science, 1990. LICS'90, Proceedings., 1990 | 693* | 1990 |
| A temporal calculus of communicating systems F Moller, C Tofts International Conference on Concurrency Theory, 401-415, 1990 | 625 | 1990 |
| Self-organizing nest construction in ants: sophisticated building by blind bulldozing NR Franks, A Wilby, BW Silverman, C Tofts Animal behaviour 44, 357-375, 1992 | 237 | 1992 |
| Doing the right thing: ants, honeybees and naked mole-rats C Tofts, NR Franks Trends in ecology & evolution 7 (10), 346-349, 1992 | 204 | 1992 |
| Foraging for work: how tasks allocate workers NR Franks, C Tofts Animal Behaviour 48 (2), 470-472, 1994 | 177 | 1994 |
| Algorithms for task allocation in ants.(A study of temporal polyethism: theory) C Tofts Bulletin of mathematical biology 55, 891-918, 1993 | 156 | 1993 |
| Processes with probabilities, priority and time C Tofts Formal Aspects of Computing 6, 536-564, 1994 | 143 | 1994 |
| Relating processes with respect to speed F Moller, C Tofts International Conference on Concurrency Theory, 424-438, 1991 | 116 | 1991 |
| Population dynamics under parasitic sex ratio distortion MJ Hatcher, DE Taneyhill, AM Dunn, C Tofts Theoretical population biology 56 (1), 11-28, 1999 | 95 | 1999 |
| A synchronous calculus of relative frequency C Tofts International Conference on Concurrency Theory, 467-480, 1990 | 80 | 1990 |
| A calculus and logic of resources and processes D Pym, C Tofts Formal Aspects of Computing 18 (4), 495-517, 2006 | 73 | 2006 |
| Describing social insect behaviour using process algebra C Tofts TRANSACTIONS-SOCIETY FOR COMPUTER SIMULATION 9, 227-227, 1992 | 70 | 1992 |
| Evolutionary ecology of vertically transmitted parasites: transovarial transmission of a microsporidian sex ratio distorter in Gammarus duebeni AM Dunn, MJ Hatcher, RS Terry, C Tofts Parasitology 111 (S1), S91-S109, 1995 | 65 | 1995 |
| Mutual exclusion as a mechanism for information exchange within ant nests MJ Hatcher, C Tofts, NR Franks Naturwissenschaften 79, 32-34, 1992 | 60 | 1992 |
| Operational Semantics of Process-Oriented Simulation Languages Part 1: Demos G Birtwistle, C Tofts Transactions of the Society for Computer Simulation 10 (4), 299-333, 1993 | 40 | 1993 |
| The autosynchronization of the ant Leptothorax acervorum (Fabricius): theory, testability and experiment C Tofts, M Hatcher, NR Franks Journal of theoretical biology 157 (1), 71-82, 1992 | 38 | 1992 |
| Proof methods and pragmatics for parellel programming C Tofts KB thesis scanning project 2015, 1990 | 35 | 1990 |
| Death by a thousand SLAs: a short study of commercial suicide pacts R Taylor, C Tofts Forschungsbericht, Hewlett-Packard Labs, 2005 | 34 | 2005 |
| A path choice algorithm for ants TR Stickland, CMN Tofts, NR Franks Naturwissenschaften 79, 567-572, 1992 | 33 | 1992 |
| Behavioural abstraction in TCCS F Moller, C Tofts International Colloquium on Automata, Languages, and Programming, 559-570, 1992 | 32 | 1992 |
Alison M. DunnUniversity of LeedsVerified email at leeds.ac.uk
Alison M. DunnUniversity of LeedsVerified email at leeds.ac.uk