Searching for authors named "John Darlington" – sorted by Relevance.
-
Formalising Actors in Linear Logic
- Formalising Actors in Linear Logic John Darlington Yi-ke Guo Department of Computing Imperial
- Cited by 4 (0 self) – Add To MetaCart
-
Constraint Functional Programming
- Constraint Functional Programming John Darlington Yi-ke Guo Department of Computing Imperial
- Cited by 4 (0 self) – Add To MetaCart
-
Constraint Logic Programming in the Sequent Calculus
- Constraint Logic Programming in the Sequent Calculus John Darlington and Yike Guo Dept
- Cited by 4 (0 self) – Add To MetaCart
-
A Transformation System for Developing Recursive Programs
- A Transformation System for Developing Recursive Programs R. M. BURSTALL AND JOHN DARLINGTON
- Cited by 504 (3 self) – Add To MetaCart
-
Grid Workflow Scheduling In WOSE
- Grid Workflow Scheduling In WOSE Yash Patel , Andrew Stephen M ¡ Gough ¢ , John Darlington
- Add To MetaCart
-
Load-balancing EU-DataGrid Resource Brokers. UK e-Science All Hands Meeting
- -DataGrid Resource Brokers William Lee Steve McGough Steven Newhouse John Darlington London e-Science Centre
- Cited by 2 (0 self) – Add To MetaCart
-
Building Computational Communities from Federated Resources
- , and John Darlington Parallel Software Group, Department of Computing, Imperial College of Science
- Cited by 6 (1 self) – Add To MetaCart
-
Functional Programming Languages with Logical Variables: A Linear Logic View
- Functional Programming Languages with Logical Variables: A Linear Logic View John Darlington Yi
- Cited by 4 (0 self) – Add To MetaCart
-
The Parallel Fortran Family and a New Perspective
- The Parallel Fortran Family and a New Perspective John Darlington Yi-ke Guo Jin Yang Department
- Cited by 1 (0 self) – Add To MetaCart
-
ICENI Virtual Organisation Management
- ICENI Virtual Organisation Management Asif Saleem Marko Krznarić Steven Newhouse John Darlington
- Cited by 1 (1 self) – Add To MetaCart

