Search results for: Chris Tofts
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 401-415
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 467-480
Lecture Notes in Computer Science > CONCUR '91 > 424-438
Electronic Notes in Theoretical Computer Science > 2007 > 172 > Complete > 545-587
Electronic Notes in Theoretical Computer Science > 2006 > 162 > Complete > 323-326
Formal Aspects of Computing > 2006 > 18 > 4 > 495-517
Simulation Practice and Theory > 2001 > 8 > 6-7 > 377-393
Theoretical Population Biology > 1999 > 56 > 1 > 11-28
Simulation Practice and Theory > 1997 > 5 > 1 > 1-33
Journal of Theoretical Biology > 1995 > 175 > 2 > 263-266